1: \begin{definition} \label{D:BorelFunction}

2: %Kechris p. 71

3: Let $X$, $Y$ be metric spaces. A function $f: X \mapsto Y$ is said to be \emph{Borel measurable} (or simply \emph{Borel}) if for any Borel subset of $Y$, $A \subseteq Y$, the inverse image $f^{-1}(A)$ is a Borel set in $X$. Equivalently, a function is Borel measurable if and only if for any open set $V \subseteq Y$, $f^{-1}(V)$ is Borel, as we will show in Theorem \ref{T:generators} below.

4: \end{definition}

5: