最小元

維基百科,自由的百科全書
跳至導覽 跳至搜尋

偏序集,若對於所有的都有,則稱最小元

請注意最小元和極小元的區別。最小元是中最小的元素,它與中其它元素都可比;而極小元不一定與中其它元素都可比,只要沒有比它小的元素,它就是極小元。對於有窮集合,極小元一定存在,但最小元不一定存在。最小元如果存在一定是唯一的,但極小元可能有多個。

參見[編輯]