P9117. 有序集合(Ordered Set)