21我们回顾了现在和以后需要的一些定义。在补和可数并和交封闭的空间N中,集E的集合,包括整个空间和空集,称为Borel集。给定一个拓扑,在这些操作下,可以通过闭包从开放集生成Borel集的集合。如果M是N的子空间,我们可以定义Borel集在由N的E导出的M中,如果P是N的商空间,我们可以将P中的Borel集定义为N中Borel集合在P上N的正则映射下的映像。N上的度量μ指定了一个实数(度量)对于每个Borel集E,使得不相交Borel集合的任何可数并的测度是集合测度的和,称为可数加性;如果N本身是不相交Borel集的可数并,则它是σ-有限的。