A question is this type if and only if it asks to prove or verify that a given set with an operation forms a group by checking closure, associativity, identity, and inverses.
26 questions · Standard +0.9