マイヤーソン・サタースウェイトの定理
形式的には ∀ v s ′ : U S ( v S , v S ) ≥ U S ( v S , v S ′ ) {\displaystyle \forall v'_{s}:U_{S}(v_{S},v_{S})\geq U_{S}(v_{S},v'_{S})} and ∀ v B ′ : U B ( v B , v B ) ≥ U B ( v B , v B ′ ) {\displaystyle \forall v'_{B}:U_{B}(v_{B},v_{B})\geq U_{B}(v_{B},v'_{B})} .
4. 事後パレート効率性 (PE):そのアイテムは、最終的にそれを最も価値をつけるエージェントに渡されるべきである。正式には t ( v B , v S ) = 1 {\displaystyle t(v_{B},v_{S})=1} if v B > v S {\displaystyle v_{B}>v_{S}} and t ( v B , v S ) = 0 {\displaystyle t(v_{B},v_{S})=0} if v B < v S {\displaystyle v_{B}<v_{S}} .