집합(비교)
| r10 vs r11 | ||
|---|---|---|
| ... | ... | |
| 12 | 12 | |
| 13 | 13 | 집합 [math(A)]가 [math(x)]를 가질 때, 이를 [math(x \in A)]라 표현하며, [math(x)]를 [math(A)]의 원소(element)라고 한다. 이 포크(?)같이 생긴 [math(\in)] 기호를 membership predicate라고 하며, 이름에서 눈치챘겠지만 이 predicate는 부정할 수 있는데, 이를 [math(\neg(x \in A))]라 쓰고 '집합 [math(A)]가 [math(x)]를 원소로 가지지 않는다'고 읽는다. 이따위로 길게 쓰면 학생들의 자살율이 증가하기 때문에 수학자들은 이를 한번에 쓰기 위해 [math(\notin)]이라는 기호를 발명했다. 즉 앞의 predicate는 [math(x \notin A)]로 다시 쓸 수 있다. |
| 14 | 14 | |
| 15 | well-defined된 집합론에서 원소 여부는 상술했듯이 predicate로 동작하며, 따라서 '[math(A)]의 원소'이거나 '[math(A)]의 원소가 아니'거나 둘 중 하나만 성립한다.[* 이러한 이진성은 유합집합의 멱집합 크기가 2의 거듭제곱으로 주어지는 등 정말 생각지도 않은 기상천외한 곳에서 나타나 |
|
| 15 | well-defined된 집합론에서 원소 여부는 상술했듯이 predicate로 동작하며, 따라서 '[math(A)]의 원소'이거나 '[math(A)]의 원소가 아니'거나 둘 중 하나만 성립한다.[* 이러한 이진성은 유합집합의 멱집합 크기가 2의 거듭제곱으로 주어지는 등 정말 생각지도 않은 기상천외한 곳에서 나타나는 편.] |