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