15/03/14 00:21:39.61 1ktc1FSG.net
>>503
well-difined ね
”つまり証明すべきことは
「g,g',h,h'∈G に対し、
gN=g'N かつ hN=h'N ならば g*hN=g'*h'N」という命題。 ”
>>423 URLﾘﾝｸ(ja.wikipedia.org) の後があった・・「代入原理と呼ばれる条件」（下記だね）
例
例えば、写像あるいは（一価の）関数 f は代入原理と呼ばれる条件
a = b → f(a) = f(b)
を満たす対応（一意対応）でなければならないから、同値類に対する写像をその代表元を用いて定義しようとする場面などでは well-defined 性が問題になる。
典型的なものが、代数学において商代数系（商群や商環、商ベクトル空間など）の演算を導入する場面に現れる。
鎖複体の射からホモロジー（これは鎖複体から定まるある商加群である）の間の準同型が誘導されるが、このときも well-defined 性が問題になる。
上述の一意性に加え、写像の行き先が実際に終域に入っていることを確かめなくてはならない。
（引用おわり）
余談だが、英文では、３つに分けて説明しているね
URLﾘﾝｸ(en.wikipedia.org)
Well-defined functions
Operations
Well-defined notation