theorem :: WAYBEL16:14

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