二元组（ X， F），其中F只要满足三个条件就可以了， 这样就可以对 F中的元素定义测度， 所以F中的元素叫可测集，但是这时许多人会犯一个致命的错误， 认为对 F加了限制， 排除了一些不可测集。其实我们可以取 F为X的子集全体， 这时（ X， F）就是一个可测空间， 我们可以给 F中的元素定义测度。定义了测度（ 例如记做 m）的可测空间叫测度空间， 记做（ X， F， m）， 是个三元组。