順序指数体
順序体 K 上で定義された指数函数 (exponential) E とは、加法群 K から乗法群 K の上への狭義単調増大な群準同型を言い、順序体 K とその上の指数函数 E との対 (K, E) を順序指数体と呼ぶ。