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