一般来说判断一个数是素数是不容易的，但要判定一个数是合数却相对容易，因为此时只需找出一个使得素数满足，但它不满足的性质即可。所以原始的素性检验思想就是检验某个素数的通性，不满足的即为合数，如果满足而它又是合数则称为关于此种性质的拟素数（也称拟质数，英文quasiprimenumber）。