theorem :: WAYBEL11:47

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