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 !]