theorem Th35: :: LATTICE4:35

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