Definition

A composite number is called a base $a$ pseudoprime if $$a^{n-1}\equiv1\pmod{n}$$