有序根樹(ordered rooted tree)一類特殊的有限集.在有限集合K上定義了半序關係“返”。 它滿足:1.存在元素OEK，使得對任意的xEK，都有0經x.2對於任意一對x,yEK，若存在zEK，使得x慈z及y龍z}x慈y或y越x，則集合K稱為有序根樹，稱K的頂點為陣地，元素0為原點或樹根.
