I've google around and have been unsuccessful in finding a name for a data-structure consisting of a list whose elements are unique.
I've seen "unique sorted lists", but I'm looking into the more general, not necessarily sorted, case.
Does anyone know a name and a source for such things? --e.g., a one word name for them.
Moreover, lists may be construed as initial algebras or the solutions to a family of recursive equations involving constructors, say,
cons. What possible equational algebra gives rise to lists without repetitions? That is, do they pop-out as a solution to some family or are they an algebraic data type that has certain equational constraints, if so which ones?