In many situations it is desirable to consider two group elements the same if they differ by an element of a given subgroup.