Assertion: operation | /r/HasProperty | commutative
Facets:
Source sentences:
text: An operation may or may not have certain properties, for example it may be associative, commutative, anticommutative, idempotent, and so on.
text: If the operation is commutative, ab = ba , then the value of ( ab ) c depends only on { { a , b }, c }, where braces indicate multisets.
text: If the operation is both associative and commutative then the value of ( ab ) c depends only on the multiset { a , b , c }.
text: If the operation is associative, commutative and idempotent, aa = a, then the value of (ab)c depends only on the set {a, b, c}.