In the left panel, η ∈ ∆(∆(Ω)) has support in the green region. Because η is Bayes plausible, Eη[s¯(ω)] � µ∗ (ω) for each ω ∈ Ω. In the middle panel, we separate η into η0 and η1, where ηa has support in Pa. In the right panel, we depict m0 and m1, where Eηa [s¯(ω)] � m∗ a(ω) and ma ∈ Conv(Pa). Finally, ba is defined as Pη(a(s¯) � a).

在左侧面板中，η∈∆(∆(Ω))支持绿色区域。由于η是Bayes plausible的，对于每个ω∈Ω，Eη[s¯(ω)] � µ∗ (ω)。在中间面板中，我们将η分成η0和η1，其中ηa在Pa中有支持。在右侧面板中，我们描绘了m0和m1，其中Eηa[s¯(ω)] � m∗ a(ω)，并且ma∈Conv(Pa)。最后，ba被定义为Pη(a(s¯) ∣ a)。