极大元

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