State the definition of a factor group <i>G/H</i>.