>>638
とりあえずwell-definedの意味はまだ慣れていない
その例題が言っているのは
部分群⇔(1)かつ(2)かつ(3)
を示すということだけで、well-definedは関係ない

足を引っ張ろうとする人は気にせず、少しずつ理解していけばいいと思うよ