PROOF 118
함수는 왜 출력이 하나여야 하는가
집합과 대응 위에서.
정의 D1
집합 X 에서 Y 로의 관계는 X × Y 의 부분집합, 즉 순서쌍 (a, b) 의 모임이다.
증명.
관련 실험실