Property of operators that are both commutative and associative