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