 Intuitively, \(w \geq_a v\) means that w is no more plausible than v according to agent a. Therefore, it is the “smaller” worlds that are more plausible, so that \(\min_a(\cc_w(w))\) is the set of worlds that agent a considers to be most plausible of all worlds that are informationally equivalent with w. 