Un número compuesto $m$ es un pseudoprimo de base $a$ si $m$ divide a $a^m -a$. En términos de congruencia se escribe así $$a^m \equiv a \pmod{m}$$.
Esta es una generalización del concepto de pseudoprimo [1]. Que finalemente, son definiciones inspiradas en el Pequeño teorema de Fermat [2].