可测集

如果 是一个 σ-代数 并且 是 的一个 子集，那么 被称为可测的，如果 是 的一个元素。 不需要先验地具有拓扑结构。 即使它有，拓扑中的开集与给定的 σ-代数 之间也可能没有联系。