HM.LMIR.6.9: Identify whether a given set with a binary operation is a group.