Definition:Even Integer

Definition
Let $$n$$ be an integer.

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

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