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