Intuitively this seems OK since you have a finite number of elements and if those elements are finite (i.e. not infinity and make sense) then there will be supremum and an infinimum. You don't get this with an empty set and they have (no doubt on purpose) ruled out that exception.
What have you tried? Have you used the fact that the subset will inherit the order from the total set?