Defines a finite set of elements.