¿Qué es el lema de Pacman?

Question

He visto mencionar "el lema de Pacman" en el contexto de los ordenamientos de reducción de términos lógicos, pero una búsqueda en Google no encuentra una definición; ¿qué es exactamente? Lo más cercano que se encontró en la búsqueda fue una "regla de Pacman" en el contexto del cálculo; ¿es lo mismo?

Answer 1

Lema. : Dejemos que $(X,\mathcal{S})$ ser un medible espacio, $\nu$ una medida firmada. Supongamos que tenemos un subconjunto $E \in \mathcal{S}$ y $0 < \nu(E) < \infty$ . Entonces, existe un conjunto positivo $P \subset E$ tal que $\nu(P) > 0$ .

Lo encontré aquí:

• http://www.math.unl.edu/~s-bbockel1/921-notes/Signed_Measures.html