最小元

扩展释义

最小元（least element）是一种特殊元素，指偏序集的子集中小于或等于一切元素的元素。与此相关的概念还有，极大元：指偏序集中没有比它更大的可比较的元素；极小元：指偏序集中没有与它可比较的更小的元素；最大元：指偏序集的子集中不小于一切的元素。