Fréchet filter

If S is an infinite set, then the collection F_S = {A⊆S:S - A is finite} is a filter called the cofinite (or Fréchet) filter on S.

filter | ultrafilter