theorem :: LOPCLSET:26

for BL being non trivial B_Lattice holds union (StoneR BL) = ultraset BL