Número par

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

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