Para demostrar que un conjunto arbitrario "A" es Lebesgue-medible, usualmente se intenta hallar un conjunto "más presentable" "B" cuya diferencia simétrica con "A" sea un conjunto nulo, y luego se demuestra que "B" se puede generar usando uniones e intersecciones numerables de conjuntos abiertos y cerrados.