基础集合论 第五章 2 良序集

最小（大）元

对于一序集 $(A, \le),$ 当且仅当 $\exists a \in A,$ 使得对于任何的 $x \in A,$ 都有 $a \le x ( x \le a),$ 称 $a$ 是序集 $(A, \le)$ 的最小（大）元。

性质

如果序集 $(A, \le)$ 的最小（大）元存在，则必唯一。

证明：

设 $a, b$ 都是序集 $(A, \le)$ 的最小（大）元，则 $\left . \begin{array}{l} a \le b \\ b\le a \end{array} \right \}\Rightarrow a =b$

序集的子集

对于一序集 $(A, R),$ 对于任意集合 $B \subseteq A$ ，称 $(B, R) = (B, \{ (x, y) | x \in B \land y \in B \land x R y \})$ 是序集$(A, R)$ 的一个子集。

性质

序集的子集也是序集。

证明：

1. 对于一序集 $(A, \le),$ 对于任意集合 $B \subseteq A$ ，
   1.1 $\forall x \in B, B \subseteq A \Rightarrow x \in A \Rightarrow x \le x,$
   1.2 $\forall x, y \in B, B \subseteq A \Rightarrow x, y \in A \Rightarrow (x \le y, y \le x \Rightarrow x = y)$
   1.3