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