Well-defined
ある定義がwell-definedであるのは次の二命題が示されたときである。