Una definición enumerativa de un concepto o término es un tipo especial de definición extensional que proporciona una lista explícita y exhaustiva de todos los objetos que caen dentro del concepto o término en cuestión. Las definiciones enumerativas solo son posibles para conjuntos finitos y solo son prácticas para conjuntos relativamente pequeños.
Un ejemplo de una definición enumerativa para el conjunto
(cuya definición intencional es especie de mamíferos actualmente vivos que ponen huevos ) sería