for B being Boolean Lattice holds the carrier of (B squared-latt) = B squared