measurable function

(mathematical analysis) A function whose codomain is a topological space and domain is a measurable space, with the property that the inverse image of every open set in its codomain is a measurable set in its domain.