lib(ordset)

   Ordered set manipulation utilities

