El conjunto de los números primos es un subconjunto de los números naturales que engloba a todos los elementos de este conjunto mayores que 1 que son divisibles únicamente por sí mismos y por la unidad.
El teorema fundamental de la Aritmética establece que cualquier número natural mayor que 1 siempre puede representarse como un producto de números primos, y esta representación (factorización) es única.