이번 챕터는 저번 Digraph에 이어서, 화살표 집합(relation)에 규칙을 부여하는 이야기다.Digraph가 "그림"이라면, Relations는 그 그림이 어떤 성질을 만족하는지 따지는 것.Binary Relation이란?집합 S가 있을 때, S × S의 부분집합이 binary relation R이다.S = {1, 2, 3}이면 S × S는 모든 ordered pair (1,1), (1,2), ... 인데, 거기서 일부를 골라낸 것.Digraph로 표현하면:S = vertex 집합R = arc 집합R(x,y)가 성립한다 = x → y 화살표가 있다.성질 1: Transitivity (이행성)x→y 이고 y→z 이면, x→z 도 반드시 있어야 한다쉽게 말하면 중간을 건너뛰는 직접 연결이 있는지 여부..