theorem :: CARDFIL2:65

for X being set holds bool X is Filter of (BoolePoset X) by WAYBEL16:11;