关于良序集的理解,那个最小元素,