let BL be non trivial B_Lattice; :: thesis: rng (UFilter BL) = the carrier of (StoneBLattice BL)
thus rng (UFilter BL) = StoneR BL
.= the carrier of (StoneBLattice BL) by Th33 ; :: thesis: verum