mula_1，且使得对于所有跟formula_1互质的整数formula_3，formula_4。
概观.费马小定理说明所有质数都有这个性质。在这方面，卡迈克尔数和质数十分相似，所以它们称为伪质数。因为这些数的存在，使得费马素性检验变得不可靠。不过，它仍可用于证明一个数是合数。另一方面，随着数越来越大，卡迈克尔数变得越来越少，1至formula_5有585 355个卡迈克尔数。卡迈克尔数的一个等价的定义在Korselt定理（1899年）出现：一个正合成数formula_1是