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