for X being set holds BoolePoset X is arithmetic