add representation of unsorted set
add procedure union-set