关系

XantC

关系的定义只关乎两点：受限制的对象与限制条件。对象的部分依靠卡氏积给出，限制条件就是限制条件。

卡氏积：

X × Y = {(x, y) ∣ x ∈ X ∧ y ∈ Y}

卡氏积本身只是给出了两个元素的有序性，这也正是关系所需要的。一个真正的关系是：

R ⊆ X × Y

关系一般会再加上一些限制条件，如R = {(m, n) ∈ ℤ × ℤ: m ∣ n}，代表整除关系。