表函数的定义域，formula_20 的元素是 formula_19上的子集族，为 一个 formula_22 代数，一般把 formula_20 称作可测空间(measurable space)，而 formula_24 是 formula_20 上的测度。更仔细的说，formula_26( 简写做 formula_17 ) 表示 formula_19 上所有平方可积（square-integrable）的复数值的可测函数的集合。平方可积表示该函数的绝对值的平方的积分是有限的。要注意的是在 formu