Assertion: diagram | /r/HasProperty | commutative
Facets:
Source sentences:
text: Commutativity makes sense for a polygon of any finite number of sides (including just 1 or 2), and a diagram is commutative if every polygonal subdiagram is commutative.
text: Note that a diagram may be non-commutative, i.e., the composition of different paths in the diagram may not give the same result.