很水的数学分析(从头开始:02加法运算)

总结：

1.之前虽然用公理化的思想定义了自然数集，但我们还需要定义元素的运算、元素的序关系等来充实集合。

2.引入笛卡尔积来讨论二元关系，从而定义二元运算。

3.如果一个集合只定义了一种运算，通常都满足结合律。结合律比交换律更基础。

4.分配律是沟通两种运算（加法和乘法）的桥梁。如▲对⚪有分配性，则▲为乘法，⚪为加法。

5.自然数的加法利用了自然数集的后继映射及其迭代性。加法的本质就是对n(被加数)做了多少次后继映射。