theorem Th28: :: WAYBEL30:28

for N being meet-continuous LATTICE
for X, Y being upper Subset of N holds (X ^0) \/ (Y ^0) = (X \/ Y) ^0