관계의 전이성 (transitivity of a relation)
하나의 관계가 전이적이라고 말하는 것은, 첫번째 것과 두번째 것 사이에 그 관계가 있고, 두번째 것과 세번째 것 사이에 그 관계가 있으면, 언제나 첫번째 것과 세번째 것 사이에도 그 관계가 성립된다고 말하는 것이다. 이것은 “(x)(y)(z)[(Rxy⊃Ryz)⊃Rxz]”라는 도식으로 나타내어진다.
Stephen F. Barker, 최세만 이재희 옮김, 『논리학의 기초』, 경기 파주: 서광사, 2009, p. 394.
