選好構造

選好に関する関係形のこと。集合X上の2項関係から構成される集合(X,R)である。

xi,xjとなるようなすべての順序対(xi,xj)を集めた集合をRとすると

R={(xi,xj)｜xi≳xj, xi,xj∈X}

と表現される。この集合Rは、結果の集合Xの直積集合の部分集合になっており、X上の2項関係を表している。すなわち、

R⊂X×X={(xi,xj)｜xi,xj∈X}

である。