Dado un elemento formula_22, el conjunto dado por todos los elementos relacionados con formula_23 definen la clase: