這是本頁的一個歷史版本，由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} 的最小元。
