##### 零测集 - 零测集 - **零测集**是一个[[测度]]为零的[[可测集]], 表示在测度意义下无穷小的集合, 即它们的大小可以忽略, 某个性质[[几乎处处]]成立就是指除去一个零测集外处处成立. 任何[[有限集]]或[[可数集]]在[[勒贝格测度]]下都是零测集, 反之不一定例如[[康托尔集]]是不可数集合但测度为零 - $\mu(A) = 0$