Right Coset Space forms Partition

Theorem
Let $G$ be a group, and let $H \le G$ be a subgroup. The right coset space of $H$ forms a partition of its group $G$:

Proof
Follows directly from:


 * Right Congruence Modulo Subgroup is Equivalence Relation
 * Relation Partitions Set iff Equivalence.

Also see

 * Left Coset Space forms Partition