for BL being non trivial B_Lattice holds (UFilter BL) . (Top BL) = ultraset BL