Coset by Identity

Theorem
Let $G$ be a group whose identity is $e$.

Let $H$ be a subgroup of $G$.

Also see
This is consistent with the definition of the concept of coset by means of the subset product:


 * $e H = \left\{{e}\right\} H$
 * $H e = H \left\{{e}\right\}$