Enumerativní definice - Enumerative definition

An enumerativní definice pojmu nebo výrazu je zvláštní typ extenzní definice který poskytuje explicitní a vyčerpávající seznam všech předměty které spadají pod dotyčný koncept nebo výraz. Výčtové definice jsou možné pouze pro konečné množiny a praktické pouze pro relativně malé množiny.

Příklad výčtu definice pro sadu

existující monotreme druh

(pro které intenzionální definice je druhy v současné době žijících savců, které snášet vejce ) bylo by

platypi
echidnae:
krátký zobák echidna
dlouhosrstý echidnae:
Echidna sira Davida s dlouhým zobákem
východní dlouhosrstá echidna
západní dlouhosrstá echidna

Viz také