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