，是指从区间["a", "b"]到"M"中的拓扑嵌入"f"，使得"f"("a")="x"，"f"("b")="y"。一个测地度量空间是实树，当且仅当这空间是δ-双曲空间，且δ=0。完备实树是单射度量空间。研究实树上的群作用的理论称为Rips machine，是几何群论的一部份。
单纯实树.一个单纯实树是没有某种奇怪的拓扑性质的实树。实树"T"中的一点"x"称为寻常的，如果"T"−"x"有正好两个连通分支。不是寻常的点"x"称为奇异的。实树称为单纯的，如果奇异点的集合是离