指数閉体

数学における指数閉体（しすうへいたい、英: exponentially closed field; 指数的に閉じた体）F とは、F は順序指数体 —すなわち、F は順序体で、なおかつ「指数函数」と呼ばれる F の加法群から F の正元の成す乗法群の上への準同型 E を持つ体（指数体）であって、E が順序写像となるもの— であって、その「指数函数」E が群同型かつ適当な自然数 n に対して 1 + 1/n < E(1) < n を満足するものを言う。