Definition:Syndetic Subset of Natural Numbers

Definition
Let $E \subseteq \N_{>0}$ be a subset of the non-zero natural numbers.

$E$ is called syndetic there exists a finite subset $F \subseteq \N_{>0}$ such that:
 * $\ds \N_{>0} \subseteq \bigcup_{k \mathop \in F} \paren {E - k}$