for T being complete continuous Scott TopLattice holds { (wayabove x) where x is Element of T : verum } is Basis of T