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