Well-defined
(定義で)示された表式が成立しない場合、well-definedであるとは言えない。