theorem Th25: :: LATTICE3:25

for X being set holds BooleLatt X is complete