En formula_1 suponemos definida una relación binaria formula_3, llamada relación de preferencia, de manera que, para formula_4, lo cual quiere decir que la alternativa formula_5 es preferida o indiferente a la alternativa formula_6.