選好
経済主体の選択肢の集合を S {\displaystyle S} とする。 S {\displaystyle S} の元は必ずしも選択可能である必要はない。選好関係は S {\displaystyle S} 上の二項関係と定義される。すなわち、 S 2 {\displaystyle S^{2}} の部分集合を選好関係と言う。ある経済主体の選好関係を ≿ {\displaystyle \succsim } とすると、「この経済主体にとって a {\displaystyle a} は b {\displaystyle b} と同等以上に好ましい」ことを a ≿ b {\displaystyle a\succsim b} と表す。
すべての a ∈ S {\displaystyle a\in S} について、 a ≿ a {\displaystyle a\succsim a} が成り立つ。