树 (集合论)維基百科,自由的 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]