Si formula_57 se dice que formula_58 es una relación en formula_1.