for BL being Boolean Lattice
for F being Field of BL holds F is ClosedSubset of BL