| 집합론 Set Theory | ||
| {{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -5px -1px -11px" | <bgcolor=#6600ff,#6600ff> ▲ 수학기초론 | |
| <colbgcolor=#cc8><colcolor=#000,#fff> 기본 대상 | 집합(표기 · ∈) · 공집합 · 부분집합 · 모임(수학) · 공리 · 순서쌍 · 첨수 집합족 | |
| 공리계 | ZFC 공리계 · NBG 공리계 | |
| 연산 | 멱집합 · 곱집합 · 드모르간 법칙 · 분리 합집합 | |
| 관계 | 이항 관계 · 대칭성 · 추이성 · 동치관계 · 부분함수 · 함수(단사와 전사 · 합성함수 · 역함수 · 항등함수 · 공함수) · 순서 관계(부분 순서 · 하세 다이어그램) | |
| 자연수 | 페아노 공리계 · 재귀 정리 · 정렬 원리 · 수학적 귀납법 | |
| 기수와 서수 | 선택공리(초른의 보조정리 · 하우스도르프 극대 원리) · 초한기수(힐베르트의 호텔) · 슈뢰더-베른슈타인 정리 · 대각선 논법 · 연속체 가설 · 추이적 집합 · 큰 가산서수 · 우주(집합론) | |
| 기타 | 러셀의 역설 | }}}}}}}}} |
1. 개요
집합의 포함 관계를 나타내는 이항 술어(binary predicate).ZFC 공리계 등 일반적인 집합론의 유일한 술어이다.
2. 상세
쉽게 생각하면 '어느 원소(element)가 집합에 속한다'라는 뜻의 기호로 읽을 수 있다.예를 들어, [math(A=\{1,\,2,\,3,\,4,\,5\})]라는 집합이 있다면 [math(4)]는 [math(A)]에 포함된다는 것을 기호 [math(4∈A)]로 표기한다.
[math(x \in y)]라는 문장은 [math(x)]가 [math(y)]의 원소라는 것을 뜻하며, 해당 문장의 부정인 [math(\neg (x \in y))]는 [math(x)]가 [math(y)]의 원소가 아님을 뜻한다. 이는 자주 쓰이기에 빗금을 그어 [math(\notin)]로 단축하여 쓰기도 한다.
반대 방향을 가리키는 [math(\ni)]도 있지만 존재 양화사 [math(\exist)]와 혼동할 수 있기 때문에 거의 쓰이지 않는다.
컴퓨터로 입력 시 ㄷ과 한자 키[1]를 이용한다.
[1] Copilot+ PC에서는 ㄷ과 Copilot + FN