P進閉体
数学における -進閉体（pしんへいたい、）は、ちょうど形式的に実な体が実閉であることの -進的な対応物として、適当な拡大性質で閉じている。この概念は が導入した。