추이관계,transitive_relation

transitive relation, 추이 관계, 추이적 관계
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#s-7