Definicja enumeratywna - Enumerative definition

Enumeratywnej definicja koncepcji lub terminu jest szczególnym rodzajem ekstensjonalnej definicji , która daje jednoznaczną i wyczerpującą listę wszystkich obiektów , które mieszczą się w pojęciu lub terminu, o którym mowa. Definicje enumeratywne są możliwe tylko dla zbiorów skończonych i praktyczne tylko dla zbiorów stosunkowo małych.

Przykład enumeratywnej definicji zbioru

istniejące gatunki stekowców

(dla którego intencjonalną definicją jest gatunek żyjących obecnie ssaków, które składają jaja ) byłby

dziobaki
kolczatki:
kolczatka krótkodzioba
kolczatki długonogie:
Kolczatka długodzioba Sir Davida
kolczatka wschodnia długodzioba
kolczatka zachodnia

Zobacz też