실제 포함 관계를 오일러 다이어그램으로 그리기

가능성보다 실제 구조를 간결하게 보일 때

정기 독서 모임 안에 발제 모임이 있고, 발제 모임에 속한 사람은 모두 정기 모임 회원이라고 하자. 이 관계를 모든 교차 영역을 갖춘 벤다이어그램으로 그리면 존재하지 않는 “발제 모임이지만 정기 모임은 아님” 영역도 남는다. 오일러 다이어그램은 실제 포함 관계만 그려 작은 집합을 큰 집합 안에 넣는다.

오일러 다이어그램은 이름 붙은 닫힌 곡선의 포함, 겹침, 분리로 집합 관계를 나타낸다. 안에 있으면 부분집합, 겹치면 공통 원소 가능, 떨어져 있으면 서로소를 뜻한다. 생략된 영역의 의미는 사용한 형식과 범례에 따라 명확히 밝혀야 한다.

포함·겹침·분리를 공간으로 읽는다

곡선 B가 A 안에 완전히 들어가면 B⊆A다. 두 곡선이 겹치면 A∩B에 속하는 원소가 있을 수 있으며, 점이나 숫자로 실제 존재를 표시할 수 있다. 두 곡선이 떨어져 있으면 A∩B=∅인 서로소 관계다. 곡선이 살짝 닿기만 하는 그림은 교집합이 있는지 모호하므로 피한다.

집합이 같다면 곡선을 같은 경계로 겹쳐 그리기보다 A=B라고 표시하거나 하나의 곡선에 두 라벨을 붙이는 편이 분명하다. 선의 굵기와 색은 보조 정보일 뿐 논리 관계는 공간 배치와 라벨로 읽혀야 한다. 색을 보지 못해도 포함과 분리를 판별할 수 있어야 한다.

벤은 모든 가능성, 오일러는 존재 관계를 강조한다

두 집합의 벤다이어그램은 A만, B만, 둘 다, 둘 다 아님을 모두 위한 영역을 만든다. 오일러 다이어그램은 자료가 B⊆A라고 말하면 B만 영역을 만들지 않을 수 있다. 그래서 벤은 가능한 조합을 빠짐없이 검사하는 데, 오일러는 알려진 포함·배제 구조를 간결하게 전달하는 데 알맞다.

모든 벤다이어그램은 모든 가능한 영역을 가진 특별한 오일러 다이어그램으로 볼 수 있지만, 모든 오일러 다이어그램이 벤은 아니다. 도표 이름보다 실제 문법을 확인한다. 원 두 개가 겹쳐 있다고 무조건 벤이라 부르면 빈 영역과 생략 영역을 어떻게 읽어야 하는지 놓친다.

영역 생략은 빈 집합과 미확인을 구분해야 한다

오일러 도표에서 A와 B가 떨어져 있으면 보통 교집합이 없다는 강한 주장을 읽는다. 하지만 자료가 단지 교집합을 조사하지 않았을 뿐이라면 분리해 그려서는 안 된다. “알 수 없음”을 “없음”으로 바꾸기 때문이다. 겹침 여부를 확정할 수 없으면 도표를 보류하거나 불확실 관계를 별도 주석으로 둔다.

같은 이유로 작은 곡선을 큰 곡선 안에 넣는 것은 모든 B가 A라는 주장을 한다. 표본에서 우연히 그렇게 보였다는 사실과 모집단의 포함 규칙은 다르다. 데이터 범위가 “10월 등록자”라면 제목과 U에 그 범위를 남겨 일반화하지 않는다.

원소를 넣으면 포함 규칙과 자료를 함께 검사한다

발제 모임 P가 정기 모임 R 안에 있다면 P의 모든 원소 ID는 R 명단에도 있어야 한다. P에 P07이 있는데 R에 P07이 없다면 명단 오류이거나 포함 규칙이 틀린 것이다. 곡선을 억지로 유지하지 않고 원자료와 규칙을 다시 확인한다.

점은 어느 영역에 원소가 실제로 존재한다는 표시다. 영역 넓이는 수량을 뜻하지 않으므로 집합 크기를 비교하려면 숫자나 별도 차트를 쓴다. 원소가 많으면 점을 모두 표시하기보다 영역별 개수와 대표 ID만 보여 주고 전체 명단으로 돌아갈 링크를 둔다.

서로 다른 사례에서 포함과 분리를 쓴다

도서관에서는 “희귀본”이 “열람실 전용 도서”의 부분집합일 수 있다. 장비 대여에서는 “노트북”과 “카메라”가 품목 분류상 서로소지만, “예약 필요 장비”는 두 집합과 각각 겹칠 수 있다. 문서 분류에서는 “검수 완료”가 “초안”과 상태상 분리돼야 하는지 업무 규칙을 확인한다.

LLM 출력 검토에서는 “출처 있음”, “직접 인용 있음”, “사실 확인 완료”를 무심코 포함 관계로 그리면 안 된다. 출처를 달았어도 내용이 틀릴 수 있고, 직접 인용이 없어도 사실 확인을 할 수 있다. 실제 판정 규칙과 표본을 보고 겹침을 정한다.

LLM에는 추상 관계표부터 만들게 한다

그림을 바로 요청하면 모델은 균형 잡힌 원 배치를 선호해 실제 포함 관계를 잃을 수 있다. 먼저 집합 ID, 정의, 전체 범위, 포함·서로소·겹침·미확인 관계를 표로 받고, 각 관계를 뒷받침하는 규칙이나 원소를 적게 한다. 모순이 있으면 그림을 그리지 않고 보고하게 한다.

예를 들어 P⊆R, R∩O=∅, P∩O≠∅를 동시에 주면 모순이다. P가 R 안에 있으면서 O와 겹치면 R도 O와 겹치기 때문이다. 추상 관계를 먼저 검사한 뒤 곡선을 배치하면 보기 좋은 모순을 줄일 수 있다.

잘못된 그림은 부분집합을 겹침으로 약화한다

수정 전 그림은 “모든 발제 모임은 정기 모임이다”라는 규칙을 두 원의 부분 겹침으로 그렸다. 이 그림은 발제 모임이지만 정기 모임이 아닌 영역이 존재할 수 있음을 허용한다. 작은 P 곡선을 R 안에 완전히 넣어 포함 관계를 복원했다.

다른 오류는 현장 모임과 온라인 모임이 서로소라는 운영 규칙이 있는데 원을 겹쳐 놓은 것이다. 같은 사람이 양쪽에 참여할 수 없는지, 한 회차가 두 방식으로 분류될 수 없는지 단위를 먼저 확인한 뒤 분리했다. 사람 집합과 행사 회차 집합을 섞으면 관계가 달라진다.

복잡해지면 관계표나 다른 도표로 바꾼다

집합이 많아지면 곡선이 겹치고 영역이 끊겨 포함 관계를 읽기 어려워진다. 포함만 중요하면 계층 트리나 Hasse 도표, 많은 교차 수량이면 UpSet, 원소별 다중 소속이면 행렬이 더 낫다. 오일러 도표를 고집해 글자를 줄이거나 선을 여러 번 꺾지 않는다.

완료 점검에서는 전체 U와 단위, 각 곡선 정의, 포함의 추이, 분리 근거, 존재 점, 빈 영역과 미확인 구분, 면적 비례 여부를 확인한다. 원소 목록을 도표 관계로, 도표 관계를 원소 목록으로 역방향 읽는다. 간결함 때문에 삭제한 정보가 없는지 마지막으로 기록한다.

복사해서 쓸 수 있는 LLM 요청문

아래 요청문은 교육용 예시다. 원문을 함께 제공하고, 모델이 빈칸을 추측하지 않도록 금지 조건을 넣었다. 결과를 받으면 원문 문장과 노드·선의 대응을 사람이 다시 확인한다.

다음 집합 자료를 오일러 다이어그램 작성용 관계표로 바꿔 줘.
1. 전체 집합 U, 분석 단위, 기준 시점과 각 집합의 가입 규칙을 먼저 적는다.
2. 집합 쌍마다 포함(⊆), 동일(=), 겹침, 서로소(∩=∅), 미확인을 구분한다.
3. 각 관계에 규칙 문장 또는 원소 ID 근거를 붙인다. 표본의 우연한 포함을 일반 규칙으로 확대하지 않는다.
4. 포함의 추이와 서로소 관계를 이용해 모순을 검사한다. 모순이 있으면 그림을 그리지 말고 충돌한 규칙을 보고한다.
5. 확인된 관계만 곡선 배치로 옮기고 미확인을 빈 영역으로 표현하지 않는다.
6. 존재는 점·ID·수치로, 빈 영역은 명시된 규칙으로 표시한다.
7. 면적이 수량 비례가 아니라면 캡션에 적는다.
8. 집합이 많아 읽기 어렵다면 트리·행렬·UpSet 대안을 제안한다.

[집합 정의와 원소 목록] …

직접 실습하고 결과를 읽기

이 실습은 브라우저 안에 준비한 교육용 자료만 사용한다. 외부 LLM을 호출하거나 실제 기관 자료를 조회하지 않는다. 입력을 바꾸어 결과가 어떻게 달라지는지 보고, 설명과 맞지 않는 결과가 나오면 어떤 정보가 빠졌는지 적어 본다.

자료와 출처

아래 자료는 이번 글의 정의와 표기법을 확인하는 데 사용했다. 생각그림과 사례 문장은 원자료를 복제하지 않고 이 글의 교육 목적에 맞게 새로 구성했다.

• Peter Rodgers et al., A survey of Euler diagrams, Journal of Visual Languages & Computing, 2014
• John Venn, On the Diagrammatic and Mechanical Representation of Propositions and Reasonings, 1880
• Alexander Lex et al., UpSet: Visualization of Intersecting Sets, IEEE TVCG, 2014