I want to know the answer to the following question:
When is it preferable to consider two group elements to be the same?
All the background I'm provided with is that "In many situations it is desirable to consider two group elements the same if they differ by an element of a given subgroup.". Is that enough to answer the question?