2. Une préférence rationnelle

On dit que la relation de préférence \( \succeq \) est rationelle si :

–elle est complète : "Pour tous x et y, éléments de A, on a    x \( \succeq \) y   ou   y \( \succeq \) x ;

  (il est possible de classer toutes les options, on peut être indifférent mais on ne peut pas « ne pas savoir »)

et

–elle est transitive : " Pour tous x, y et z, éléments de A,

  x \( \succeq \) y     et     y \( \succeq \)  z   impliquent     x \( \succeq \) z."

[Note. Vous remarquerez que la notation évoque le ≥. Cela aide à comprendre l'ordre. Mais attention, on ne peut pas additioner, multiplier, etc. les paniers de bien comme des chiffres !]