Definition

Given a group $G$ and a subgroup $H$,we define an equivalence relation $\sim$ where $$a\sim b\iff ab^{-1}\in H$$this relation partitions $G$ into equivalence classes $aH$ for some $a\in G$. These are called cosets of $H$.