4.1.1 笛卡尔积

定义有序对（序偶） $<x, y>$ 。

$A \times B = \{ <x, y> \ |\ \ x \in A \wedge y \in B \ \}$

$|A \times B| = |A| |B|$ 。

性质：

不满足结合律。

满足左右分配率。

<aside> 📌 证法：

</aside>

<aside> 📌 证：

</aside>

4.1.2 关系

揭示集合中某两个元素间的某种相关性。