Medida saturada

En matemáticas , se dice que una medida está saturada si todo conjunto localmente medible también es medible . ^{[ 1 ]} Un conjunto${\displaystyle E}$, no necesariamente medible, se dice que es unconjunto localmente medible si para cada conjunto medible${\displaystyle A}$de medida finita,${\displaystyle E\cap A}$es medible. ${\displaystyle \sigma }$-medidas finitas y medidas que surgen cuando la restricción de medidas externas se satura.