Cosets Partition a Group: Let G be a group
and let H≤G be a subgroup
. Then the set of left cosets
{gH:g∈G} forms a partition
of G (and similarly for right cosets {Hg:g∈G}).
More precisely: every g∈G lies in the left coset gH, and any two left cosets are either equal or disjoint.