theorem Th34: :: LOPCLSET:34

for BL being non trivial B_Lattice holds rng (UFilter BL) = the carrier of (StoneBLattice BL)