theorem Th31: :: WAYBEL_8:31

for X being set holds BoolePoset X is algebraic