在代数数论中，若数域formula_1 的每个嵌入 formula_2 的像都落在实数域 formula_3，则称 formula_1 为zh-cn:全实域或全实数域; zh-tw:全实数体;。若 formula_1 可表为 formula_6，设 formula_7 在 formula_8 上的的极小多项式为 formula_9，则嵌入映射 formula_2 透过 formula_11 一一对应于 formula_9 在 formula_13 里的根。formula_1 是全实域若且唯若