-implementation of adjoin-set in case of ordered set