设CÍR+n是消费集,满足"lÎ[0, 1],x, yÎC:lx+(1-l)yÎC
设â是C上的理性偏好,满足
(1)"lÎ[0, 1];x, y, zÎC,xâz,yâz:lx+(1-l)yâz
(2)"iÎ{1, 2, …, n};x=(a1, a2, …, xi, …, an), y=(a1, a2, …, yi, …, an)ÎC:xâyÛxi³yi
"i, jÎ{1, 2, …, n}, i¹j:设x=(a1, a2, …, ai, …, aj, …, an), z=(a1, a2, …, ai+D, …, aj-d1,…, an), y=( a1, a2, …, ai+2D, …, aj-d1-d2,…, an)并有x~y~z,其中D, d1, d2>0
由~的定义以及(1)知,0.5x+0.5yâz,即
(a1, a2, …, ai+D, …, aj-0.5d1-0.5d2, …, an)â(a1, a2, …, ai+D, …, aj-d1,…, an)
由(2)知,aj-0.5d1-0.5d2³ aj-d1,即d1³d2。