加法交换律=CommutativeLawofAddition:a+b=b+a
加法结合律=AssociativeLawofAddition:
a+b+c=(a+b)+c=a+(b+c)
乘法交换律=CommutativeLawofMultiplication:a×b=b×a
乘法结合律=AssociativeLawofMultiplication:
a×b×c=(a×b)×c=a×(b×c)
乘法分配律=DistributiveLawofMultiplication:
a×(b+c)=a×b+a×c
传递律=TransitiveLaw:∵a=b,b=c,∴a=c
反身律=ReflexiveLaw:a=a