where the supremum runs over finite families of pairwise disjoint tree segments. A segment is
a finite consecutive part of a root path.
The underlying tree is specified in each construction. The
classical construction uses the binary tree. The same segment-norm
construction also applies to trees with countable
branching.