 The idea is that a proposition is at least as possible as each of the possibilities it comprises, and no more possible than the “most possible” possibility. The dual notion of a necessity measure \(\Nu : \mathbf{A} \rightarrow \Re\) is defined for all \(A\) in \(\mathbf{A}\) by