The operation satisfies four conditions called the group axioms, namely closure, associativity, identity and invertibility