theorem :: CARDFIL2:67

for X being non empty set holds {X} is Filter of X by CARD_FIL:4;