是带有自由变量 "x"(可能还有其他我们忽略的自由变量)，则这里右手端要被理解为在 "B" 中所有真值 ||φ("a")|| 的上确界，这里 "a" 的范围在 "M" 之上。一个公式的真值有时被称为它的可能性。它不能理解为一般意义上概率，它们不是实数而是完全布尔代数的 "B" 的元素。
集合论的布尔值模型.给定一个完全布尔代数 "B"，有一个指示为 "V" 的布尔值模型，它是冯·诺伊曼全集 "V" 的布尔取值的类似者。(严格的说，"V" 是真类，所以我们需要适当的重新解释对