ula_7而言，能满足「formula_8是模formula_2的二次剩余」的formula_8共有formula_23个（剩余类），分别为：formula_24（0计算在内）此外是formula_25个二次非剩余。但在很多情况下，我们只考虑乘法群Z/"p"Z，因此不将0包括在内。这样，每个二次剩余的乘法逆元仍然是二次剩余；二次非剩余的乘法逆元仍然是二次非剩余。二次剩余的个数与二次非剩余的个数相等，都是formula_25。此外，两个二次非剩余的乘积是二次剩余，二次剩余和二次非剩余的乘积是二次非剩余