樹 (集合論)維基百科,自由的 encyclopedia 集合論中一個偏序結構<s,R>如果滿足以下條件: 對任意x∈s,集合A(x)={y∈s丨yRx}對於R是三歧的、傳遞的,並且對於A(x)的任意真子集總存在一個極小元,即<A(x),R>是一個良序結構。 那麼這個偏序結構便被稱為樹(Tree)。[1]
集合論中一個偏序結構<s,R>如果滿足以下條件: 對任意x∈s,集合A(x)={y∈s丨yRx}對於R是三歧的、傳遞的,並且對於A(x)的任意真子集總存在一個極小元,即<A(x),R>是一個良序結構。 那麼這個偏序結構便被稱為樹(Tree)。[1]