Beschränktes Intervall/Reelle Funktion/Oberintegral als Infimum der Obersummen/Definition/Begriff/Inhalt

Das Oberintegral ist definiert als das Infimum von sämtlichen Treppenintegralen zu oberen Treppenfunktionen von ${}f$.