定義
D を平方数でない有理整数で、D ≡ 0 または 1 (mod 4) とする。
a, b, c を有理整数で b^2 - 4ac = D とする。
θ を多項式 aX^2 + bX + c の根とする。
θ を D に属す２次無理数という。

さらに gcd(a, b. c) = 1 のとき θ を D に属す原始的な２次無理数
という。
このとき θ の判別式(>>276)は D である。