Por ello, una función formula_13 es una función de utilidad que representa la relación de preferencia formula_3 sobre el conjunto formula_1 si: