theorem Th26: :: WAYBEL30:26

for N being Scott TopLattice
for X being upper Subset of N holds Int X c= X ^0