zài / chōuxiàngyù / zhōng / jiāfǎ / yǔ / chéngfǎ / dōu / mǎnzú / jiāohuànlǜ在抽象域中,加法与乘法都满足交换律。In an abstract field, both addition and multiplication satisfy the commutative law.