Dado um número racional positivo x, é sempre possível escrevê-lo da única forma x seguinte:

,

Em que α ∈ ℤ, α ≥ 0, β ∈ ℤ , β ≥ 1, y ∈ ℤ, y ≥ 1, m.d.c.(2^α β, y) = 1 e m.d.c.(2, β) = 1. Denotando por ℚ_>0 e ℤ_≥0 o conjunto de todos os racionais positivos e o conjunto de todos os inteiros não negativos, respectivamente, e supondo x ∈ ℚ_>0 escrito na forma anteriormente descrita, a esse x associamos o número α ∈ ℤ_≥0.

A respeito dessa regra de correspondência, é CORRETO afirmar que: