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