Let be a Group and its Subgroup
The set of cosets of in is:

where

Note that for any we have