Enumerative definition

From Wikipedia, the free encyclopedia

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.

An example of an enumerative definition for the set

extant monotreme species

(for which the intensional definition is species of currently-living mammals that lay eggs) would be

platypi
echidnae:
short-beaked echidna
long-beaked echidnae:
Sir David's long-beaked echidna
eastern long-beaked echidna
western long-beaked echidna

See also


Retrieved from "https://en.wikipedia.org/w/index.php?title=Enumerative_definition&oldid=757705702"
This content was retrieved from Wikipedia : http://en.wikipedia.org/wiki/Enumerative_definition
This page is based on the copyrighted Wikipedia article "Enumerative definition"; it is used under the Creative Commons Attribution-ShareAlike 3.0 Unported License (CC-BY-SA). You may redistribute it, verbatim or modified, providing that you comply with the terms of the CC-BY-SA