theorem :: YELLOW_1:19

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