2.62 ordered union-set