algebra

Definition

Commutativity

A relation is called commutative over a set if: