Por tanto, formula_7 es un conjunto de números enteros positivos y este conjunto contiene un número menor, N (A,ε).