Definition:Even Integer

Let $$n \in \Z$$, i.e. let $$n$$ be an integer.

Then $$n$$ is even if it has $$2$$ as a divisor.