Local connectedness implies that \(\preceq_i\) totally orders \(\Pi_i(w)\) and well-foundedness implies that \(Min_{\preceq_i}(\Pi_i(w))\) is nonempty. This richer model allows us to formally define a variety of (soft) informational attitudes. We first need some additional notation: the plausibility relation \(\preceq_i\) can be lifted to subsets of \(W\) as follows[10]