 Definition (Conditionalization). Suppose that \(\Cr(E) \neq 0\). A (new) credence function \(\Cr'(\wcdot)\) is said to be obtained from (old) credence function \(\Cr(\wcdot)\) by conditionalization on \(E\) if, for each \(X \in {\cal A}\),