可测空间是测度论的基本概念，由一个集合和基于这个集合的一个可以定义测度的σ代数构成。可测空间与测度空间的区别在于，测度空间包含了测度，而可测空间不包含测度。
定义.一个可测空间formula_1，其中
例子.对集合取则formula_1为一个可测空间。