剰余類の問題です。

質問

剰余類の問題です。
ｘバーでｘ∈Gを含む同値類を表す。
ｘバー＝｛ｙ∈G|ｙ～ｘ｝となっている。
ｘH＝｛xh|h∈H｝と定義すれば
ｘバー＝xH（＊）
となる。
上の（＊）の性質を確かめよ。

とあるのですが具体的にどう確かめればいいのかわからず困っています。ご意見よろしくお願いします。

回答No.1

koko_u_

両者が等しいことを確かめるだけです。造作もないはずです。
そして記号の説明が一切ないので、それ以上はアドバイス不能です。