Al conjunto se le asigna la clasificación formula_2 si es definible por una fórmula del tipo formula_2.