順序指数体

数学における順序指数体（じゅんじょしすうたい、）は、順序体であって（実数全体の成す順序体上の指数函数の概念を一般化する）適当な条件を満たす函数を備えたものを言う。
定義.
順序体 上で定義された指数函数 (exponential) とは、加法群 から乗法群 の上への狭義単調増大な群準同型を言い、順序体 とその上の指数函数 との対 を順序指数体と呼ぶ。
形式指数体.
形式指数体あるいは指数閉体とは、（本項で言う意味での）指数函数 を定義可能な順序体を言う。任意の形式指数体 に対し、 上の指数函数 を適当な自然数 に対して を満たすように選ぶことができる。