관계 (relation) 순서쌍의 집합을 이항관계 (binary relation)이라 한다. 쌍의 첫번째 요소의 집합이 정의역 (domain) 쌍의 두번째 요소의 집합이 치역 (range) 정의역과 치역이 집합S로 동일할때,이를 S상의 관계 (realtion on S) (a, b)가 관계 R에 속할 때 aRb로 쓴다.
관계의 성질 반사적 (reflexive) S의 각요소 a에 대해 aRa가 성립 비반사적 (irreflexive) S의 각요소 a에 대해 aRa가 성립하지 않음 대소관계 "<"에 대해 a
원문 링크 : 06 관계
