isCommutative

P19409 predicate

Indicates that the result of applying an operation to two entities does not depend on their order (i.e., a ∘ b = b ∘ a).

Aliases (1)
  • isCommutativeRingWithIdentity ×1

Sample triples (2)
Subject Object
Gaussian integers true ("isCommutativeRingWithIdentity")
Minkowski sum true

Please wait…