Es fácil ver que formula_4 existe: supóngase por ejemplo que formula_11 es el conjunto de todos los números positivos impares.