definida por formula_46 es una relación de