theorem Th17: :: WAYBEL30:17

for N being complete Lawson meet-continuous TopLattice
for S being Scott TopAugmentation of N
for X being upper Subset of N
for Y being Subset of S st X = Y holds
Int X = Int Y