jiāfǎ / mǎnzú / jiāohuànlǜ / dàn / jiǎnfǎ / bù / mǎnzú

加法满足交换律，但减法不满足。

Addition satisfies the commutative property, but subtraction does not.