偏序集中的特殊元素:极大(小) ·x是偏序集<A,≤>中的极大元iff ·对任意y∈A,若x≤y,则x=y ·x是偏序集<A,≤>中的极小元if ·对任意y∈A,若y≤x,则x=y ·有关极大元与极小元的讨论 ·有穷偏序集一定有极大(小)元 没有比它更小(大的了1 ·不一定唯一 ·一个元素可能兼为极大(小)元?偏序集中的特殊元素 :极大(小) • x是偏序集<A,≼>中的极大元iff. • 对任意y∈A,若x≼y, 则x=y • x是偏序集<A,≼>中的极小元iff. • 对任意y∈A,若y≼x, 则x=y • 有关极大元与极小元的讨论 • 有穷偏序集一定有极大(小)元 • 不一定唯一 • 一个元素可能兼为极大(小)元? 没有比它更小(大)的了!