for T being complete continuous Scott TopLattice
for p being Element of T holds Int (uparrow p) = wayabove p