theorem Th22: :: WAYBEL25:22

for T being non empty TopSpace
for x being Element of (Omega T) holds Cl {x} = downarrow x