指数閉体
標準的な指数閉体の例は、実数全体の成す順序体である。ここで「指数函数」E としては、任意の a > 1 を底に持つ指数函数をとれる。