The commutative ring axiom asserts that multiplication satisfies

ab=bafor all a,bR.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.