theorem :: WAYBEL16:16

for X being set holds Bottom (InclPoset (Filt (BoolePoset X))) = {X}