In measure theory, a probability valuation on a lattice$(L, \leq, \bot, \vee, \top, \wedge)$ is a monotonic function$\mu:L \to [0, 1]$ such that $\mu(\bot) = 0$, $\mu(\top) = 1$, and the modularity condition is satisfied: for all elements $a, b \in L$,