A un subconjunto del espacio de Cantor se le asigna la clasificación formula_1 si es definible por una fórmula del tipo formula_1.