union: Delete duplicates when passed the same input several times.