仮にネットの定義が正しいとする
すると、次のことが定義だという：
任意の2より大きい無理数度μを持つ正の無理数aについて、
|a−p/q|＜1/q^μ が成り立つ有理数 p/q は高々有限個しか存在しない

或る正の無理数aが存在して、或る2より大きい有限な実数μが存在して、
正の無理数aの無理数度が 2＜μ＜+∞ なる無理数度μであるとする
定義から、|a−p/q|＜1/q^μ が成り立つ有理数 p/q は高々有限個しか存在しない
有理直線Qの有限部分集合Aを A＝{ p/q∈Q | |a−p/q|＜1/q^μ } と定義する