偏序关系最大,最小元,上下确界的函数实现