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.

The first few non-negative even numbers are:
 * $$0, 2, 4, 6, 8, 10, \ldots$$