An HTML user interface element for choosing one or more option(s) from a finite collection of options.
