theorem Th4: :: YELLOW_1:4

for X being set holds BoolePoset X = InclPoset (bool X)