 A useful notion in the formal analysis of knowledge is that of a possibility set. An agent i’s possibility set at a state of the world \(\Omega\) is the smallest set of possible worlds that \(i\) thinks could be the case if \(\omega\) is the actual world. More precisely,