추이관계,transitive_relation

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

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



Up: transitivity? - 작성중