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