하세 다이어그램 편집하기 (부분)

==예제==

=== 기본 관계 표현 ===

다음은 집합 X = {1, 2, 4, 8}에서 나눗셈 관계를 기반으로 한 하세 다이어그램의 예제이다.<pre>
    8
    |
    4
    |
    2
    |
    1
</pre>위 다이어그램에서:
*`1 ≤ 2`, `2 ≤ 4`, `4 ≤ 8` 관계가 표현되었다.
*`1 ≤ 4`, `1 ≤ 8` 등의 관계는 이행성(Transitivity) 때문에 생략되었다.

=== 비교 관계 ===
다음은 집합 A = {x1, x2} , B = {y1, y2, y3} 을 비교 병합하는 하세 다이어그램의 예제이다.

1. 아래 다이어그램은 x1, x2 간에는 대소 관계가 있고, y 요소들 간에도 대소 관계가 있으나 x 요소들과 y 요소들 간의 대소 관계는 없는 것으로 본다.<pre>
x1   y1
|    |
x2   y2
     |
     y3
</pre>2. 만약 x1이 y1보다 큰 경우

* x1과 y1의 대소관계는 정의되었다. (간선으로 연결됨)
* 그러나 x2와 y1과의 관계는 정의되지 않았다.
<pre>
x1  
|  \  
x2  y1 
     |
    y2
     |
    y3
</pre>3. 만약 x2가 y1보다 큰 경우<pre>
x1  
| 
x2
|
y1 
|
y2
|
y3
</pre>4. 만약 x2가 y1보다 작은 경우

* 여기선 x2가 y1 보다 작은 것이 표현되지만, 아직 x2가 y2나 y3보다 작은지 큰지는 드러나지 않는다.
<pre>
x1  
| 
y1 
|  \
y2  x2
|
y3
</pre>
===부분 집합 관계(⊆)===
집합 '''S = {a, b}'''의 모든 부분 집합을 부분 순서 관계(⊆)로 표현하면 다음과 같다.<pre>
      {a, b}
     /      \
  {a}       {b}
     \      /
      ∅ (공집합)
</pre>위 다이어그램에서:
*`{a, b} ⊇ {a}`, `{a, b} ⊇ {b}`, `{a} ⊇ ∅`, `{b} ⊇ ∅`의 포함 관계가 표현되었다.
*`{a, b} ⊇ ∅` 등의 간선은 이행성으로 인해 생략되었다.