Dicho conjunto es un subconjunto "V" del intervalo [0,1] tal que para cada número real "r" en [0,1], existe exactamente un número formula_116 tal que "v"−"r" es un número racional.