추이적 관계

xRy이고 yRz이면 xRz를 만족하게 하는 속성을 가진 이항관계 R

수학에서 집합 상의 임의의 세 원소 a, b, c에 대하여 정의된 이항관계 추이적 관계(推移的關係, 영어: transitive relation)라 함은 이고 이면 를 만족한다는 뜻이다. 수학적으로 다시 쓰면 다음과 같다.

예제

편집

실수 a, b, c에 대하여 다음이 성립한다.

  •  이고  이면  
  •  이고  이면  
  •  이고  이면  

집합 A, B, C에 대하여 다음이 성립한다.

  •  이고  이면  
  •  이고  이면  

같이 보기

편집