我们说企业2的类型空间为T2={cL,cH},企业1的类型空间为Ti={c}.
在这样定义参与者的类型之后,说参与者i知道自己的收益函数也就等同于说参与者i知道自己的类型,类似地,说参与者i可能不确定其他参与者的收益函数,也就等同于说参与者i不能确定其他参与者的类型,我们用t-i={t1,...,ti-l,ti+l,...,tn}表示.并用T-i表示t-i所有可能的值的集合,用概率pi(t-i|ti)表示参与者在知道自己的类型是ti的前提下,对其他参与者类型(即t-i)的推断(belief).在第3.2节分析的所有应用中(以及绝大多数文献中),参与者之间的类型是相互独立的,这种情况下pi(t-i|ti)与ti不相关,于是我们