在集合论中，笛卡尔积是一个非常著名的概念，但是本质上并没有那么复杂，可以理解成一个集合和另一个集合的排列组合以后的结果：
坐标系就是笛卡尔积的结果，笛卡尔积也是第一个把代数和集合集合在一起的人，这是他在数学史上最重要的贡献之一：
创建集合的符号
集合建构式符号：
https://en.wikipedia.org/wiki/Set-builder_notation
课程地址：
https://www.youtube.com/watch?v=j5cj_4Mk9_M
domain and codomain
笛卡尔积的 A 和 B 两项，可以被称为 domain 和 codomain
Tuples
每个集合的项数不同，也会有不同的专用名词：
Singleton: 单元素集合
Ordered Pair: 有序偶
Ordered Triple: 有序三元组
三元笛卡尔积
Artiy
类似于编程时候的「一元操作符」「二元操作符」「三元操作符」
笛卡尔积的n元操作符，被称为 n-ary Cartesian product
Equivalence Relations（相等关系）
Order Relation（次序关系）
Partial Order（偏序关系）
- 其实就是不相等的关系
- poset 是 偏序集（partial order set） 的简称
Total Order（全序、总序）
Strict Total Order（严格全序）
比如两个不同的自然数，符合：
- a < b
- b < a
- a = b
Trichotomous（三分律）：
在数学中，三分律（或公理）是对任何（实）数 x 和 y 下列关系中精确的一个成立的最一般的陈述
如果应用于基数，三分律等价于选择公理。
在有序整环或有序域的定义中，有着 y = 0 的三分律通常被接受为比全序律更加基本，这里的 0 是整环或域的零。
在集合论中，三分法最经常被定义为二元关系 < 所拥有的一个性质，在所有它的成员 <x,y> 精确的满足上述关系之一的时候。严格不等于是在这个意义上的三分关系的一个例子。在这个意义上的三分关系是反自反的和反对称的。
