theorem :: WAYBEL16:15

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