ED域是一個數學術語。 ED域(ED field )一類在二次型理論中有套用價值的域,全稱為“有效對角化域”.若域F上的每個二次型可有效對角化,即F上每個二次型有這樣的一個對角化:a1,a2,...an,其中則稱F是ED域.當F不是實域時,由於序空間XF為空集,所以認定F是一個ED域.實ED域與SAP域之間有密切關係:一個實ED域必是SAP域;一個實域是ED域,若且唯若它的畢達哥拉斯閉包是SAP域.