분류 나무 · 정사각형에서 사각형까지, 무엇이 따라올까?

그림에서 무엇을 볼까요?

왼쪽 나무는 사각형에서 네 각이 직각이라는 조건을 더해 직사각형으로, 네 변도 같다는 조건을 더해 정사각형으로 내려간다. 오른쪽은 사각형 영역 안에 직사각형 영역, 그 안에 정사각형 영역이 들어 있는 구조로 같은 포함 관계를 나타낸다.

같은 읽기 방식을 익숙한 도형으로 옮겨 보겠습니다. 여기서는 평면의 단순한 사각형을 대상으로, 직사각형은 네 각이 모두 직각인 사각형, 정사각형은 거기에 네 변의 길이도 같다는 조건을 더한 도형으로 정합니다. 이 정의에서는 모든 정사각형이 직사각형에 포함됩니다.

왼쪽 그림은 넓은 종류에서 좁은 종류로 가는 길을 보여 줍니다. 오른쪽은 각 종류에 속하는 대상들의 범위를 영역으로 둘러쌉니다. 정사각형 영역 전체가 직사각형 안에, 직사각형 영역 전체가 사각형 안에 들어 있습니다. 가지와 영역이라는 서로 다른 표현이 같은 포함 관계를 드러냅니다.