集合S上的一个二值测度(a two-valued measure)μ是指一个定义在S的幂集P(S)上的函数，对于每一x∈P(S)，μ(x) =0或μ(x) = 1，并且使得，给定S的两两不相交的子集的任何有穷或可数的集合Σ，如果Σ的每一元素(在μ下) 的值为0，则μ(UΣ)=0。测度μ称为非不足道，如果U(S) =1，并且对于S的每一有穷子集x，μ(x)=0。集合S称为是可测的，如果存在S上的一非不足道的测度。一个集合S是不是可测的只依赖于它的基数。可测集合的基数称为可测基数(measurable cardinal)。