An enumerative definition of a concept or term is a special type of
extensional definition that gives an explicit and exhaustive listing of all the
objects that fall under the concept or term in question. Enumerative definitions are only possible for finite sets and only practical for relatively small sets.
Example
An example of an enumerative definition for the set
extant
Extant or Least-concern species, least concern is the opposite of the word extinct. It may refer to:
* Extant hereditary titles
* Extant literature, surviving literature, such as ''Beowulf'', the oldest extant manuscript written in English
* Exta ...
monotreme species
(for which the
intensional definition is "species of currently-living mammals that
lay eggs") would be:
:
platypuses
: echidnae:
::
short-beaked echidna
:: long-beaked echidnae:
:::
Sir David's long-beaked echidna
:::
eastern long-beaked echidna
:::
western long-beaked echidna
See also
*
Definition
A definition is a statement of the meaning of a term (a word, phrase, or other set of symbols). Definitions can be classified into two large categories: intensional definitions (which try to give the sense of a term), and extensional definitio ...
*
Extension
*
Extensional definition
*
Set notation
*
Enumeration
An enumeration is a complete, ordered listing of all the items in a collection. The term is commonly used in mathematics and computer science to refer to a listing of all of the element (mathematics), elements of a Set (mathematics), set. The pre ...
Logic
Definition
{{ling-stub