The operation satisfies four conditions called the group axioms, namely closure, associativity, identity and invertibility.
What is the name used to describe the four conditions of closure, associativity, identity and invertibility?
group axioms