theorem Th7: :: WAYBEL15:7

for X being set holds BoolePoset X is arithmetic