Número ímpar

Um número inteiro é um número ímpar se não é divisível por 2. Em outras palavras, $n \in \mathbb{Z}$ é ímpar se
$$n = 2k + 1, \text{para algum } k \in \mathbb{Z}, $$

isto é, deixa resto $1$ na divisão por $2$.