Una función entre dos espacios medibles se denomina "medible" si la preimagen de todo conjunto medible es también medible; esto es, si ("X", Σ) y ("Y", Ω) son dos espacios medibles, una función "f":"X"→"Y" es "medible" si para todo "E" formula_9, "f"("E") formula_10.