for BL being Boolean Lattice holds the carrier of BL is Field of BL