有限半序集的几个性质

本文讨论有限半序集合，得到有限半序集必有极大元和极小元，有限格必有最大元和最小元等基本性质，同时给出若干反例，解决了离散数学课程中的几个疑难问题。