theorem Th2: :: WAYBEL_7:2

for X being set holds the carrier of (BoolePoset X) = bool X