Equivalence between (1) and (3) is known as the fundamental theorem of Lebesgue integral calculus, due to Lebesgue.
Η ισοδυναμία μεταξύ των (1) και (3) είναι γνωστή ως θεμελιώδες θεώρημα του κατά Lebesgue ολοκληρωτικού λογισμού και οφείλεται στον Lebesgue.