Может, что-то в стиле:
C - натуральные числа;
B - числа, применяемые для шифрования - например, произведения двух простых;
A - максимальное подмножество В, эл-ты которого можно разложить на простые множители полиномиальным алгоритмом.
Если всегда есть те, которые нельзя разложить (A < B), - всё хорошо, иначе эти криптографические алгоритмы не работают.