height (442B)
1 # Height 2 3 The *height* of a [tree] and of a [forest] is defined inductively: 4 - The height of a [singleton_tree] consisting of only a singleton [root] node is zero 5 - The height of a [tree] is otherwise one plus the height of the [forest] of the [children] of the [root] 6 - The height of a [forest] is the [maximum] of the heights of the [trees] of the [forest] 7 8 Up: [parameter] on [tree] 9 10 See also: [depth] 11 12 Aliases: tree height, forest height