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