[이산수학] 관계
관계의 개념관계(relation: R: A→B, aRb) / 이항관계(binary relation): 집합 A, B가 있을 때 집합 A에서 집합 B로 가는 관계로, R은 A x B의 부분집합이다. a∈A, b∈B일 때, (a, b)∈R이면 aRb, (a, b) ∉ R이면 aR/b 이라고 표현한다.정의역(domain: dom(R)): 집합 A에서 집합 B로 가는 이항관계 R에 속한 순서쌍의 첫 번째 원소가 포함된 집합, 즉 집합 A를 말한다. dom(R) = {a | a ∈ A}공역(codomain: codom(R)): 집합 A에서 집합 B로 가는 이항관계 R에 속한 순서쌍의 두 번째 원소가 포함된 집합, 즉 집합 B를 말한다. codom(R) = {b | b ∈ B}치역(range: ran(R)): 집합..