theorem Th18: :: WAYBEL27:18

for X being set holds BoolePoset X,(BoolePoset {0}) |^ X are_isomorphic