theorem Th9: :: WAYBEL11:9

for T being complete Scott TopLattice
for x being Element of T holds Cl {x} = downarrow x