Definition:Even Integer/Even-Times Even

Definition
Let $n$ be an integer.

Then $n$ is even-times even iff it has $4$ as a divisor.

The first few non-negative even-times even numbers are:
 * $0, 4, 8, 12, 16, 20, \ldots$

Also see

 * Definition:Even Integer
 * Definition:Even-Times Odd Integer


 * Definition:Odd Integer