相關選擇原理

相關選擇原理(DC) (principle of correlationchoices (DC)集合論的一條公理.它是比選擇公理弱的命題.由貝爾奈斯(Bernays,P.)於1942年提出.該原理斷言:若R是非空集合A上的二元關係，並且對任何aEA，存在bEA，使bRa，則存在A中的序列ao,a‑aZ,"..}a}}...，使得對任何nEN，有a‑+, Ran.從相關選擇原理可推出可數選擇公理.因此，它比可數選擇公理強，又在ZF內DC可由AC推出，故DC比AC弱.