for BL being non trivial B_Lattice holds (UFilter BL) . (Bottom BL) = {}