Každou borelovskou $E\su X\times Y$, kde $X$ je úplný metrický a $Y$ je polský, lze pokrýt spočetně mnoha rozšířeně borelovskými množinami s kompaktními řezy, jsou-li její řezy $\sigma$-kompaktní.