for X being set holds Top (BoolePoset X) = X