加法交换律=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