theorem Th6: :: EUCLID_9:6

Family_open_set (Euclid 0) = {{},{{}}}