恰對(exact pair)一種不可解度的無序對.斯派克特(Spector,C.)證明了如下重要定理:如果I為少的可數理想,則存在a},a,E},使得對任何度c,cEL-"c鎮a。八。鎮am }ao,a,}稱為理想I的恰對.該定理稱為恰對定理.由恰對定理可立即得出少不形成格的結論.因為若取{dr:iEm}為一無窮上升鏈,則由它生成的理想的恰對顯然沒有下確界.