 For the first step, we need to define the distance between an interpretation \(\omega\) and a belief base K. This is the minimal distance between \(\omega\) and the models of K. Formally: \(d(\omega, K) = \mymin_{\omega'\in \mymod(K)} d(\omega, \omega')\). If K has more than one model (e.g., \(K_i = \{a \vee b\}\) has three models: \(\{(0,1) (1,0), (1,1)\}\)), \(\omega'\) will be the closest to \(\omega\).