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