Sejam:

: o conjunto dos inteiros não negativos.

: o conjunto dos números inteiros.

: o conjunto dos números racionais.

Podemos afirmar que: