Soient E et F des espaces mesurables munis de leurs tribus respectives ℰ et ℱ. Une fonction f : E → F est dite (ℰ, ℱ)-mesurable si la tribu image réciproque par f de la tribu ℱ est incluse dans ℰ, c'est-à-dire si : L'identité, la composée de deux fonctions mesurables, sont mesurables. Les fonctions mesurables fournissent donc à la classe des espaces mesurables une structure de catégorie.