[1] 環 R が可換環であるとは:

• (∀a, b ∈ R) ab = ba (積に関する交換法則)