theorem :: CARDFIL2:66

for X being set holds {X} is Filter of (BoolePoset X) by WAYBEL16:12;