左剰余類の集合に演算を定義するにあたっての、条件みたいなの
自分で考えたのですが、これでよいでしょうか？　G：群　　H:部分群
xH○yH=xyHがwell defになる条件　まず、代表元x、yのとり方によってはいけないので、
ｘH=ｙH　、x’H =y’H　　すなわち、x〜y、x’〜y’としたとき　xx’〜yy’とならなくてはならない。
（xx’)＾-1　yy’=(x’)＾-1　x＾-1　yy’
　　　　　　　　 ∈(x')^-1 H y'
よって　y’H=Hy’であれば、左剰余類の集合に演算が定義できる。
これでよろしいでしょうか？