The commutative ring axiom asserts that multiplication satisfies

ab=bafor all a,b∈R.ab=ba\qquad\text{for all }a,b\in R.

A is a satisfying this axiom. Whether rings are required to have a multiplicative identity is a separate convention.