a (mathematics|of a binary operation) Such that the order in which the operands are taken does not affect their image under the operation.
a (mathematics|of a diagram of morphisms) Such that any two sequences of morphisms with the same initial and final positions compose to the same morphism.