Existen varias clases de pseudoprimos, por ejemplo, los que cumplen que "a" ≡ 1 (mod "p") para todos los valores de "a" que sean coprimos con "p", siendo "p" compuesto se denominan números de Carmichael.