주 메뉴 열기

집합론에서 관계(關係, 영어: relation)는 곱집합부분 집합이다. 원소의 튜플이 이 부분 집합에 속하는지 여부를 통해 원소들 사이의 관계를 나타낸다.

정의편집

집합족   위의 관계곱집합부분 집합

 

이다. 특히, 순서수  에 대하여, 집합   위의  항 관계(영어:  -ary relation)는 거듭제곱 집합의 부분 집합

 

이다. 특히 항수에 따라 다음과 같은 특수한 경우들을 생각할 수 있다.

  •   위의 영항 관계(零項關係, 영어: nullary relation)  . 즉,   또는  .
  •   위의 단항 관계(單項關係, 영어: unary relation)  
  •   위의 이항 관계(二項關係, 영어: binary relation)  . 이 경우,   와 같이 표기하기도 한다.
  •   위의 삼항 관계(三項關係, 영어: ternary relation)  .
  •   위의  항 관계(-項關係, 영어: n-ary relation)  . 이 경우,   와 같이 표기하기도 한다.

편집

  • 공선점 관계는 공간 속의 점들에 대한 삼항 관계이다.

외부 링크편집