<P>(由于没有公式编辑器,偏好符号只能用文字表示,&gt;=表示至少一样好, -表示一样好)</P>
<P>令&gt;=是集合X上的一个偏好关系.定义I(x)为所有的y属于X所组成的集合,其性质为y-x</P>
<P>说明集合{I(x)/x属于X}是X的一个部分,即:</P>
<P>1.对于所有的x和y,或者有I(x)=I(y),或者I(x)和I(y)的交集为空.</P>
<P>2.对于每一个x属于X,存在y属于X,使得x属于I(y)</P>