관계(비교)
| r8 vs r9 | ||
|---|---|---|
| ... | ... | |
| 10 | 10 | == 이항 관계 == |
| 11 | 11 | 집합론에선 주로 이항 관계를 다룬다. 이 경우 보통 중위 표기법으로 쓰는데, 두 [math(x, y \in A)]가 서로 [math(R)]이라는 관계를 가진다면 [math(xRy)]라고 적는 식. |
| 12 | 12 | |
| 13 | [[함수]]와는 다르다. 함수는 정의역의 원소별로 단 하나의 사상만 만들어지는 반면, 관계는 [[그런 거 없다]]. 예를 들어 흔히 [[음함수]]로 불리는 원의 방정식은 관계로 [math(xCy \iff x^2 + y^2 = 1)]과 같이 표현할 수 있다. |
|
| 14 | ||
| 15 | 15 | === 이항 관계의 종류 === |
| 16 | 16 | 이중 매우 general한 것은 성질이라고도 불리며, 주로 조합되어 다른 관계를 기술할 때 쓰인다. 예를 들면 추이 관계(transitive relation)는 성질로 표현될 때 추이성(transitivity)이라고 불리게 된다. 수학적으론 같은 개념이다. |
| 17 | 17 | |
| ... | ... |