樹_(集合論)

集合論中一個偏序結構 < s, R > 如果滿足以下條件 ： 對任意x ∈ s ， 集合A （ x ） = { y ∈ s丨yRx } 對於R是三歧的 、 傳遞的 ， 並且對於A ( x ) 的任意真子集總存在一個極小元 ， 即 < A （ x ） ， R > 是一個良序結構 。 那麼這個偏序結構便被稱爲樹 （ Tree ) 。