Vitali-Carathéodory theorem

Etymology
Named after and.

Proper noun

 * 1)  A theorem which states that any real-valued Lebesgue integrable function can be approached arbitrarily closely from below by an upper semicontinuous function and also from above by a lower semicontinuous function.