Definition:Even Integer/Even-Times Even

Definition

Let $n$ be an integer.

Then $n$ is even-times even if and only if it has $4$ as a divisor.

The first few non-negative even-times even numbers are:

$0, 4, 8, 12, 16, 20, \ldots$

Euclid's Definition

In the words of Euclid:

An even-times even number is that which is measured by an even number according to an even number.

Also known as

An even-times even integer can also be referred to as an even-even integer.

Historical Note

The introduction of the category of even-times even integers originated with the Pythagoreans.