Siendo "n" perteneciente a los números enteros, se dice que "n" es pseudoprimo respecto la base "b" si es compuesto y además verifica la congruencia: