设X是一个不可数集，是X中所有使E或Ec至多是可列的子集_E所作成的集族．若E至多可列，定义μ（E)=0；若Ec至多可列

设X是一个不可数集，是X中所有使E或E^c至多是可列的子集_E所作成的集族．若E至多可列，定义μ(E)=0；若E^c至多可列，定义，μ(E)=1．证明是X上的σ-代数，μ是上的一个测度。