Well-defined
往々にして、(数学上の)定義はいくつもの表式を経由する。このとき、最終的な結論が中途の表式に依存している場合、well-definedであるとは言えない。
つまり定めた対象が一意に存在しているとき、well-definedであるという。