Si el conjunto satisface simultáneamente formula_1 y formula_2 entonces se le da la clasificación adicional formula_20.