Definition (cofinite):
Let X{\displaystyle X} be a set. A subset A⊆X{\displaystyle A\subseteq X} is called cofinite iff X∖A{\displaystyle X\setminus A} is finite.