標準特異点
より一般的には、Δ を有理数係数の素因子の形式的線型結合とするとき、ペア (X,Δ) のこれらの概念を定義することができる。ペアは次のように呼ばれる。
Discrep(X,Δ) > 0 のとき、端末(terminal)
Discrep(X,Δ) ≥ 0 のとき、標準(canonical)
Discrep(X,Δ) > − 1 かつ |Δ| ≤ 0 のとき、川又対数端末(klt)(Kawamata log terminal)
Discrep(X,Δ) > − 1 のとき、純粋対数端末(plt)(purely log terminal)
Discrep(X,Δ) ≥ − 1 のとき、対数標準(lc)(log canonical)