树 (集合论) 集合论中一个偏序结构sR如果满足以下条件 对任意xs集合Axys丨yRx对于R是三歧的传递的并且对于Ax的任意真子集总存在一个极小元即AxR是一个良序结构 那么这个偏序结构便被称为树Tree