Let $(X,\Sigma)$ and $(Y, T)$ be measurable spaces. A function $f:X\to Y$ is measurable if the preimage under $f$ of every set in $T$ is in $\Sigma$.
Wikidata ID: Q516776