Vitalin peitelause

Reaalianalyysissä Vitalin peitelause on tärkeä Vitalin peitettä koskeva tulos. Olkoon $E\subset \mathbb {R} ^{n}$ ja $V$ $E$:n suljettu Vitalin peite. Tällöin on olemassa numeroituva osaperhe $G\subset V$ erillisiä kuulia siten, että $m\left(E\setminus \cup _{B\in G}B\right)=0$. Tässä $m$ tarkoittaa Lebesguen mittaa.