for L being complete continuous Scott TopLattice
for x being Element of L holds wayabove x is open