임의의 원소에 대하여 그 미만의 원소들로 구성된 부분 집합이 정렬 전순서 집합을 이루는 부분 순서 집합
순서론과 집합론에서, 나무는 임의의 원소에 대하여 그 미만의 원소들로 구성된 부분 집합이 정렬 전순서 집합을 이루는 부분 순서 집합이다. 나무의 개념은 순서론적으로 특정 조건을 만족시키는 부분 순서 집합으로 정의할 수 있으며, 또 범주론적으로 순서수 위의 준층으로 생각할 수도 있다. 부분 순서 집합 가 다음 조건을 만족시킨다면, 나무라고 한다. 나무 의 원소 에 대하여, 의 순서형인 순서수 를 의 높이라고 한다. 이는 함수 를 정의한다.
순서론에서 나무가 뭐야
나무 (집합론)