Disciplina matemática que estudia los conjuntos finitos, principálmente con la finalidad de contar sus elementos sin tener realmente que contarlos de menera explícita (combinatoria enumerativa).
A pesar de que la combinatoria ha desarrollado métodos para realizar esta tarea, no existe un procedimiento estándar para resolver todos los problemas combinatorios, y con frecuencia es necesario un análisis lógico especial para resolverlos.
Aparte de contar (por lo cual se ganado el nombre de la ciencia del conteo) la combinatoria se interesa en otros problemas como el de la existencia de soluciones para un problema dado, o bien el de encontrar una solución que maximice o minimice una función dada (optimización combinatoria).