Pohl定理的一个简单证明

设Ｓ是任意一个具有全序关系的含有ｎ个元素的集合．Ｐｏｈｌ［１］证明了求Ｓ的极大元素和极小元素的过程至少要进行［２／３ｎ－２］次比较．本文用过程等价性的思想给出这个定理的一个简单证明．