theorem :: WAYBEL16:13

for X being set holds InclPoset (Filt (BoolePoset X)) is upper-bounded