не помню как называется, по моему что-то вроде теста Ленстры на простоту. этот тест опирается на обобщенные гипотезы Римана, которые не доказаны, и утверждает, что если успешно проверить число с помощью модифицированного теста Ферма (по имени малой теоремы) некоторое небольшое число раз, то оно и правда простое. ближайший тест не опирающийся на гипотезы Римана сильно труднее вычислительно.
в терминах множеств мне это выразить слабо. ответ сильно опирается на подачу vvagr.
подойдет?