정초 관계: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
잔글 봇: 문단 이름 변경 (바깥 고리 → 외부 링크) |
|||
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>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>가 성립한다.
|