If is a subgroup of and lies in , then
- is a left coset
- is a right coset
Each coset is a translated copy of the subgroup.
In finite groups, cosets partition the whole group and each coset has the same size as .
One-line intuition
A coset is what you get by shifting a subgroup through the group.