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:
Viz také