작가의 글

수학용어. 집합 와 집합 (＝라도 좋다)의 원소 에 관한 명제(命題)에서, 를 정하면 진위(眞僞)가 확정될 때, 그 명제를 관계 또는 이항관계(二項關係)라고 한다. ＝=실수 전체일 때의 ＜＞, ＝의 부분집합 천체일 때의 ＜－＞ 등은 그 예이다. 하나의 관계를 로 표시했을 때, 에 관하여 그 명제가 참일 때, 는 그 관계를 충족시킨다고 하고, 라고 쓴다. － 등의 －는 위의 의 예이다. 하나의 관계 에 대해 ⇔ 에 의하여 정해지는 관계 을 의 역관계(逆關係)라고 한다. 즉 의 역관계는 이다. ＝일 때, ① 모든 ∈에 관하여 라면 는 반사적 ② 와 이 같다면 는 대칭적 ③ 이고 이면 가 성립된다면 는 추이적(推移的) ④ 이고 이면 ＝일 때 는 반대칭적(反對稱的)이라고 한다.
yahoo사전에서펌