可测集

形式上说，一个可列可加的正测μ是个函数。设A是集合X上的一个σ代数,μ在A上定义，于扩充区间中取值，并且满足以下性质：1‘、空集的测度为零；2、可数可加性，或称σ可加性：即X中可数个两两不交的集合的序列，则所有的并集的测度，等于每个的测度之总和。

这样的三元组合（Χ，A,μ）称为一个测度空间，而A中的元素称为这个空间中的可测集。