We can formalize the above informal observations using the following notions: Fix a qualitative type space \(\langle \{T_i\}_{i\in\A}, \{\lambda_i\}_{i\in\Agt},S\rangle\) for a (nonempty) set of states of nature \(S\) and agents \(\Agt\).