Definition:Odd Integer/Definition 2

Definition

An integer $n \in \Z$ is odd if and only if:

$\exists m \in \Z: n = 2 m + 1$

Euclid's Definition

In the words of Euclid:

An odd number is that which is not divisible into two equal parts, or that which differs by an unit from an even number.

Sequence of Odd Integers

The first few non-negative odd integers are:

$1, 3, 5, 7, 9, 11, \ldots$