Before stating the formal result, we illustrate the result with an example. We start by describing an “informational context” of the above game. To that end, define a type space \(\T=\langle \{T_1, T_2\}, \{\lambda_1,\lambda_2\}, S\rangle\), where \(S\) is the strategy profiles in the above game, there are two types for player 1 \((T_1=\{t_1, t_2\})\) and three types for player 2 \((T_2=\{s_1, s_2, s_3\})\). The type functions \(\lambda_i\) are defined as follows: