Ordered exponential field

In mathematics, an ordered exponential field is an ordered field together with a function which generalises the idea of exponential functions on the ordered field of real numbers. == Definition == An exponential E {\textstyle E} on an ordered field K {\textstyle K} is a strictly increasing isomorphism of the additive group of K {\textstyle K} onto the multiplicative group of positive elements of K {\textstyle K} .

Source: Wikipedia — Ordered exponential field (CC BY-SA 4.0)