순서쌍: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
→범주론: 오타를 고침 태그: m 모바일 웹 |
최신판순거쌍 |
||
95번째 줄:
\end{array}</math>
* reverse 정의도 위와 비슷하게 기본 성질을 만족한다는 것을 보일 수 있다.
* short 정의. 아래에서 <math>(*)</math> 표기를 한 과정은 [[정칙성 공리]]를 사용하였다.<ref name=":0">첫번째 별표에서, 정칙성 공리에 의해 <math>c\in a,\,a\in c</math>인 두 집합 <math>a,c</math>는 존재하지 않는다. 두번째 별표에서, 정칙성 공리에 의해 <math>b,d</math> 모두 <math>a</math>에 속하지 않는다.</ref>
*# <math>a=c\wedge b=d\Rightarrow\{a,\{a,b\}\}=\{c,\{c,d\}\}\Rightarrow(a,b)_\text{short}=(c,d)_\text{short}</math>
*# 순서쌍의 같음 ⇒ ''a'' = ''c''
158번째 줄:
== 같이 보기 ==
*
* [[곱집합|곱]]<ref name=":0" />[[곱집합|집합]]
* [[이항관계]]
* [[함수]]
| |||