遺傳歐氏域(hereditarily Euclidean field)歐氏域的子類一個歐氏域F，若它的每個為實域的代數擴張都是歐氏域，則稱F是遺傳歐氏域.F成為遺傳歐氏域，若且唯若F和它的每個成為實域的代數擴張都只有一個序.實閉域自然是遺傳歐氏域.
