An element in an ordered set that is followed by no other.

• 极大元在一顺序集合里最大的一个