Kategorie:Theorie der reellen Exponentialfunktion/Definitionen