from 내생각+wpko, notsure, chk
{
[[집합,set]]에서 임의의
[[원소,element]] 세 개(a,b,c)를 뽑을 때 <- 서로다를필요없고 중복 ok? chk
[[이항관계,binary_relation]] 에 대한 성질. 그 이항관계가 추이관계라는 것은,
 aRb and bRc then aRc
이면 추이관계이고, 아니면 '비추이관계' <- 영어표현?
}

''moved from [[관계,relation#s-6]] - 이제 저기 있는거랑 compare.''
{
rel.
[[추이(적)집합,transitive_set]] - curr at [[집합,set]]

Srch:transitiv

[[WpEn:Transitive_relation]]
[[WpKo:추이적_관계]]
https://mathworld.wolfram.com/Transitive.html
}

Up: [[transitivity]]? - 작성중