반사관계

[12] 이산수학(관계)

관계(Relation) A와 B를 집합이라고 하자. A에서 B로의 이항관계(binary relation from A to B)는 두 집합의 곱집합 A x B의 부분집합이다. # 관계와 함수 집합 A에서 집합 B로의 함수 f는 A의 각 원소가 B의 원소 하나에 연결된다. A에서 B로의 관계 R은 두 집합 원소 사이의 일대다 관계로 표현할 수 있다. # 역관계 집합 A에 B로의 관계 R이 있을 때, B에서 A로의 관계를 R에 대한 역관계라고 한다. # 관계 행렬(Relation Matrix) 부울 행렬을 이용하는 방법으로서, 관계 행렬은 집합 A에서 집합 B으로 가는 관계 R에 대한 n x m 행렬로 정의할 수 있다. # 반사관계 집합 A에 대한 관계 R이 A에 속한 a들에 대해 R에 속한 (a,a)가 되면..