Removing duplicate elements

This is a really simple one. I wasn't sure where to put it, since there is no chapter or section on generic sequences, and it's not just about sets.