theorem Th4: :: CARD_FIL:4

for X being non empty set holds {X} is Filter of X