Definition (cofinite):

Let $X$ be a set. A subset $A\subseteq X$ is called cofinite iff $X\setminus A$ is finite.