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 se incluyen en el concepto o término en cuestión. Las definiciones enumerativas sólo son posibles para conjuntos finitos y sólo son prácticas para conjuntos relativamente pequeños.
Un ejemplo de una definición enumerativa para el conjunto.
(para la cual la definición intencional es especie de mamíferos actualmente vivos que ponen huevos ) sería