強コア配分
配分$ xが強コア配分であるとは
$ y_i \succsim_i x_i \quad \forall i \in T
$ y_j \succ_j x_j \quad \exists j \in T
$ \{y_i: i \in T\} = \{ w_i: i \in T\}
を満たす $ T \subseteq I および $ y \in X が存在しないこと。
強コア配分であるなら効率的であり個人合理性である。
個人合理性:$ x_i \succsim_i w_i \quad \forall i \in I
$ w_iは初期保有