Question: Is a given set of group elements a set of coset representatives?