theorem Th22: :: YELLOW_9:22

for T being TopSpace
for K being Subset-Family of T holds
( the topology of T = UniCl K iff K is Basis of T )