Congruence Class Modulo Subgroup is Coset

Theorem
Let $G$ be a group, and let $H \le G$.

Also see

 * Coset Spaces form Partition
 * Uniqueness of Cosets