Commutative ring axiom
Axiom requiring multiplication in a ring to be commutative.
The commutative ring axiom asserts that multiplication satisfies
A commutative ring is a ring satisfying this axiom. Whether rings are required to have a multiplicative identity is a separate convention.