这是本页的一个历史版本，由Starfish（留言 | 贡献）在2004年7月1日 (四) 10:52编辑。这可能和当前版本存在着巨大的差异。
设 ( A , ≤ ) {\displaystyle (A,\leq )} 是偏序集， B ⊆ A {\displaystyle B\subseteq A} ， y ∈ B {\displaystyle y\in B} ，若对于所有的 x {\displaystyle x} ， x ∈ B ⟹ y ≤ x {\displaystyle x\in B~\implies ~y\leq x} ，则称 y {\displaystyle y} 为 B {\displaystyle B} 的最小元。
