极小元

维基百科,自由的百科全书
跳到导航 跳到搜索

偏序集,若对于所有的,则称极小元

请注意极小元和最小元的区别。最小元是中最小的元素,它与中其它元素都可比;而极小元不一定与中其它元素都可比,只要没有比它小的元素,它就是极小元。对于有穷集合,极小元一定存在,但最小元不一定存在。最小元如果存在一定是唯一的,但极小元可能有多个。


参见[编辑]