Seja a um número real não nulo. Então, a⁻¹ ∈ ℜ.

Para qualquer número inteiro, a raiz quadrada desse número elevado ao quadrado é igual ao próprio número.

Para qualquer inteiro, o sucessor do antecessor do número é o próprio número.

A média aritmética simples de dois inteiros negativos não é necessariamente um inteiro negativo.

Todo número real negativo possui inverso.