Enumerativní definice - Enumerative definition

Enumerative definici pojetí nebo termín je zvláštní druh protahování definice , která dává explicitní a vyčerpávající výčet všech objektů , které spadají pod pojetí nebo termínu v pochybnost. Výčtové definice jsou možné pouze pro konečné množiny a praktické pouze pro relativně malé množiny.

Příklad enumerativní definice sady

existující monotreme druhy

(pro které je intensional definice je druh aktuálně žijící savci, kteří kladou vejce ) bude

ptakopysků
echidnae:
echidna s krátkým zobákem
echidna s dlouhým zobákem:
Echidna sira Davida s dlouhými zobáky
echidna východní s dlouhým zobákem
echidna západní s dlouhým zobákem

Viz také