Establecemos en el conjunto formula_21 la relación formula_22 definida por formula_23 cuando y sólo cuando formula_24.