Congruence Modulo Subgroup is Equivalence Relation

Theorem
Let $G$ be a group, and let $H$ be a subgroup of $G$.

Let $x, y \in G$.

Also see

 * Definition:Coset
 * Definition:Coset Space