A finite set of elements.
interface set[combivariant value element]