Un ensemble Lebesgue-mesurable (qu'on abrège souvent en ensemble mesurable) est une partie de l'espace dont la mesure de Lebesgue peut être définie, le concept pouvant être étendu à toute variété différentiable . On appelle tribu de Lebesgue l'ensemble des parties Lebesgue-mesurables de .