Es sei K {\displaystyle {}K} ein angeordneter Körper und b ∈ K + {\displaystyle {}b\in K_{+}} mit der zugehörigen Exponentialfunktion