假設 P 係一個擴張場嘅性質（例如代數封閉、可分等等）咁 k 嘅一個 P-閉包就係一個場 K，佢係 k 嘅一個擴張場，有 P 呢一個性質，同時佢係最細嘅，意思啫係其他有 P 呢個性質嘅擴張場都裝咗喺 K 入面。