Definition. An $\mathbb{R}$-tree is a metric space $(X,d)$ such that
- there is a unique geodesic segment (denoted $[x,y]$) joining each pair of points $x,y \in X$;
- if $[x,y] \cap [y,z] = \{y\}$, then $[x,y] \cup [y,z] = [x,z]$.
why this space name is $\mathbb{R}$-tree ?