Llamaremos relación dual de formula_17 a la relación formula_20 definida por: