선택 공리: 두 판 사이의 차이

:<math>\forall x\in X\exists y\in X\colon (x,y)\in R</math>

가 성립한다고 하자. 그렇다면, 선택 공리에 의하여 [[집합족]]

의 선택 함수

:<math>f\colon X\to X</math>