Esto se puede corresponder con el subconjunto de triples ordenados de números naturales ("a", "b", "c") de tal manera que si "a" ≥ 0 y "b" > 0, "a" y "b" son coprimos, y "c" ∈ {0, 1} luego "c" = 0 si "a "/" b" ≥ 0, y "c "= 1 en caso contrario."