相關選擇原理

相關選擇原理(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弱.

相關選擇原理(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弱.