Real tree
In mathematics, real trees (also called R {\displaystyle \mathbb {R} } -trees) are a class of metric spaces generalising simplicial trees. They arise naturally in many mathematical contexts, in particular geometric group theory and probability theory.