Left Coset Space forms Partition

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

Proof
Follows directly from:


 * Left Congruence Modulo Subgroup is Equivalence Relation
 * Relation Partitions Set iff Equivalence

Also see

 * Right Coset Space forms Partition