 We then assume that our agent’s credence in a proposition in \(\mathcal{F}\) can be measured by a real number between 0 and 1 inclusive, where 0 represents minimal credence, and 1 represents maximal credence. Then her credence function at \(t\) is a function c from \(\mathcal{F}\) to the closed unit interval \([0, 1]\). If \(A\) is in \(\mathcal{F}\), then \(c(A)\) is our agent’s credence in \(A\) at \(t\). Throughout, we denote by \(\mathcal{C_F}\) the set of possible credence functions defined on \(\mathcal{F}\). There is no principled reason for restricting to the case in which \(\mathcal{F}\) is finite. We do it here only because the majority of work on this problem has been carried out under this assumption. It is an interesting question how the results here might be extended to the case in which \(\mathcal{F}\) is infinite, but we will not explore it here (again, see  section 7).