##### 有序元组 - 有序元组 - **有序元组**是一组有序对象, 表示一个按照特定顺序排列的元素[[集合]], 以 $a_1$ 为第 $1$ 个元素, $a_2$ 为第 $2$ 个元素, ..., $a_n$ 为第 $n$ 个元素的有序聚集, 有序对是 $n=2$ 的有序二元组, 两个有序元组相等, 当前仅当每一对对应元素都相等. 有序元组可以[[递归]]定义为一种特殊的纯集合构造 - 记作 $(a_1,a_2,...,a_n)$ - $(a, b) := \{ \{ a \}, \{ a, b \} \}$ - $(a, b, c) := ((a, b), c)$ - $(a, b, c, d) := (((a, b), c), d)$ - $(a_1, a_2, \dots, a_n) := ((a_1, a_2, \dots, a_{n-1}), a_n)$