-implementation of union-set as ordered list