theorem Th45: :: WAYBEL11:45

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