Definition:Coset

Definition
Let $\struct {S, \circ}$ be an algebraic structure.

Let $\struct {H, \circ}$ be a subgroup of $\struct {S, \circ}$.

=== Left Coset ===

Also defined as
It is usual for the algebraic structure $S$ in fact to be a group.

However, this does not prevent the more general definition to be applied when necessary.

Also see

 * Definition:Coset Space