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