theorem Th6: :: EUCLID_9:6
Family_open_set (Euclid 0) = {{},{{}}}