theorem :: LOPCLSET:22

for BL being non trivial B_Lattice holds StoneR BL c= bool (ultraset BL) ;