정초 관계: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
TedBot (토론 | 기여)
잔글 봇: 문단 이름 변경 (바깥 고리 → 외부 링크)
리듬 (토론 | 기여)
20번째 줄:
집합 <math>X</math> 위의 정초 관계 <math>R</math> 및 [[부분 집합]] <math>S\subseteq X</math>에 대하여, <math>R</math>의 제한 <math>R\restriction S</math> 역시 <math>S</math> 위의 정초 관계이다.
 
=== 초한 귀납법초한귀납법 ===
{{본문|초한 귀납법초한귀납법}}
집합 <math>X</math> 위의 정초 관계 <math>\sim_R</math>가 주어졌을 때, 다음과 같은 [[초한 귀납법초한귀납법]]을 사용할 수 있다. 임의의 술어 <math>P(-)</math>에 대하여, 다음 조건이 성립한다고 하자.
* 임의의 <math>x\in X</math>에 대하여, 만약 <math>\forall y\in X\colon y\sim_Rx\implies P(x)</math>라면, <math>P(x)</math>이다.
그렇다면, <math>\forall x\in X\colon P(x)</math>가 성립한다.