# Tree (data structure)

In computer science, a **tree** is a widely used abstract data type that simulates a hierarchical tree structure, with a root value and subtrees of children with a parent node, represented as a set of linked nodes.

A tree data structure can be defined recursively as a collection of nodes, where each node is a data structure consisting of a value and a list of references to nodes. The start of the tree is the "root node" and the reference nodes are the "children". No reference is duplicated and none points to the root.

Alternatively, a tree can be defined abstractly as a whole (globally) as an ordered tree, with a value assigned to each node. Both these perspectives are useful: while a tree can be analyzed mathematically as a whole, when actually represented as a data structure it is usually represented and worked with separately by node (rather than as a set of nodes and an adjacency list of edges between nodes, as one may represent a digraph, for instance). For example, looking at a tree as a whole, one can talk about "the parent node" of a given node, but in general, as a data structure, a given node only contains the list of its children but does not contain a reference to its parent (if any).

A **node** is a structure which may contain a value or condition, or represent a separate data structure (which could be a tree of its own). Each node in a tree has zero or more **child nodes**, which are below it in the tree (by convention, trees are drawn growing downwards). A node that has a child is called the child's **parent node** (or superior). A node has at most one parent, but possibly many **ancestor nodes**, such as the parent's parent. Child nodes with the same parent are **sibling nodes**.

An **internal node** (also known as an **inner node**, **inode** for short, or **branch node**) is any node of a tree that has child nodes. Similarly, an **external node** (also known as an **outer node**, **leaf node**, or **terminal node**) is any node that does not have child nodes.

The topmost node in a tree is called the **root node**. Depending on the definition, a tree may be required to have a root node (in which case all trees are non-empty), or may be allowed to be empty, in which case it does not necessarily have a root node. Being the topmost node, the root node will not have a parent. It is the node at which algorithms on the tree begin, since as a data structure, one can only pass from parents to children. Note that some algorithms (such as post-order depth-first search) begin at the root, but first visit leaf nodes (access the value of leaf nodes), only to visit the root last (i.e., they first access the children of the root, but only access the value of the root last). All other nodes can be reached from it by following **edges** or **links**. (In the formal definition, each such path is also unique.) In diagrams, the root node is conventionally drawn at the top. In some trees, such as heaps, the root node has special properties. Every node in a tree can be seen as the root node of the subtree rooted at that node.

The **height** of a node is the length of the longest downward path to a leaf from that node. The height of the root is the height of the tree. The **depth** of a node is the length of the path to its root (i.e., its *root path*). This is commonly needed in the manipulation of the various self-balancing trees, AVL Trees in particular. The root node has depth zero, leaf nodes have height zero, and a tree with only a single node (hence both a root and leaf) has depth and height zero. Conventionally, an empty tree (tree with no nodes, if such are allowed) has height −1.

A **subtree** of a tree T is a tree consisting of a node in T and all of its descendants in T.^{[a]}^{[1]} Nodes thus correspond to subtrees (each node corresponds to the subtree of itself and all its descendants) – the subtree corresponding to the root node is the entire tree, and each node is the root node of the subtree it determines; the subtree corresponding to any other node is called a **proper subtree** (by analogy to a proper subset).

*subchild*.

A tree is a nonlinear data structure, compared to arrays, linked lists, stacks and queues which are linear data structures. A tree can be empty with no nodes or a tree is a structure consisting of one node called the root and zero or one or more subtrees.

Trees are often drawn in the plane. Ordered trees can be represented essentially uniquely in the plane, and are hence called *plane trees,* as follows: if one fixes a conventional order (say, counterclockwise), and arranges the child nodes in that order (first incoming parent edge, then first child edge, etc.), this yields an embedding of the tree in the plane, unique up to ambient isotopy. Conversely, such an embedding determines an ordering of the child nodes.

If one places the root at the top (parents above children, as in a family tree) and places all nodes that are a given distance from the root (in terms of number of edges: the "level" of a tree) on a given horizontal line, one obtains a standard drawing of the tree. Given a binary tree, the first child is on the left (the "left node"), and the second child is on the right (the "right node").

Stepping through the items of a tree, by means of the connections between parents and children, is called **walking the tree**, and the action is a *walk* of the tree. Often, an operation might be performed when a pointer arrives at a particular node. A walk in which each parent node is traversed before its children is called a **pre-order** walk; a walk in which the children are traversed before their respective parents are traversed is called a **post-order** walk; a walk in which a node's left subtree, then the node itself, and finally its right subtree are traversed is called an **in-order** traversal. (This last scenario, referring to exactly two subtrees, a left subtree and a right subtree, assumes specifically a binary tree.) A **level-order** walk effectively performs a breadth-first search over the entirety of a tree; nodes are traversed level by level, where the root node is visited first, followed by its direct child nodes and their siblings, followed by its grandchild nodes and their siblings, etc., until all nodes in the tree have been traversed.

There are many different ways to represent trees; common representations represent the nodes as dynamically allocated records with pointers to their children, their parents, or both, or as items in an array, with relationships between them determined by their positions in the array (e.g., binary heap).

Indeed, a binary tree can be implemented as a list of lists (a list where the values are lists): the head of a list (the value of the first term) is the left child (subtree), while the tail (the list of second and subsequent terms) is the right child (subtree). This can be modified to allow values as well, as in Lisp S-expressions, where the head (value of first term) is the value of the node, the head of the tail (value of second term) is the left child, and the tail of the tail (list of third and subsequent terms) is the right child.

In general a node in a tree will not have pointers to its parents, but this information can be included (expanding the data structure to also include a pointer to the parent) or stored separately. Alternatively, upward links can be included in the child node data, as in a threaded binary tree.

If edges (to child nodes) are thought of as references, then a tree is a special case of a digraph, and the tree data structure can be generalized to represent directed graphs by removing the constraints that a node may have at most one parent, and that no cycles are allowed. Edges are still abstractly considered as pairs of nodes, however, the terms parent and child are usually replaced by different terminology (for example, source and target). Different implementation strategies exist: a digraph can be represented by the same local data structure as a tree (node with value and list of children), assuming that "list of children" is a list of references, or globally by such structures as adjacency lists.

In graph theory, a tree is a connected acyclic graph; unless stated otherwise, in graph theory trees and graphs are assumed undirected. There is no one-to-one correspondence between such trees and trees as data structure. We can take an arbitrary undirected tree, arbitrarily pick one of its vertices as the root, make all its edges directed by making them point away from the root node – producing an arborescence – and assign an order to all the nodes. The result corresponds to a tree data structure. Picking a different root or different ordering produces a different one.

Given a node in a tree, its children define an ordered forest (the union of subtrees given by all the children, or equivalently taking the subtree given by the node itself and erasing the root). Just as subtrees are natural for recursion (as in a depth-first search), forests are natural for corecursion (as in a breadth-first search).

Via mutual recursion, a forest can be defined as a list of trees (represented by root nodes), where a node (of a tree) consists of a value and a forest (its children):

There is a distinction between a tree as an abstract data type and as a concrete data structure, analogous to the distinction between a list and a linked list.

As a data type, a tree has a value and children, and the children are themselves trees; the value and children of the tree are interpreted as the value of the root node and the subtrees of the children of the root node. To allow finite trees, one must either allow the list of children to be empty (in which case trees can be required to be non-empty, an "empty tree" instead being represented by a forest of zero trees), or allow trees to be empty, in which case the list of children can be of fixed size (branching factor, especially 2 or "binary"), if desired.

As a data structure, a linked tree is a group of nodes, where each node has a value and a list of references to other nodes (its children). There is also the requirement that no two "downward" references point to the same node. In practice, nodes in a tree commonly include other data as well, such as next/previous references, references to their parent nodes, or nearly anything.

Owing to the use of references to trees in the linked tree data structure, trees are often discussed implicitly assuming that they are being represented by references to the root node, as this is often how they are actually implemented. For example, rather than an empty tree, one may have a null reference: a tree is always non-empty, but a reference to a tree may be null.

Recursively, as a data type a tree is defined as a value (of some data type, possibly empty), together with a list of trees (possibly an empty list), the subtrees of its children; symbolically:

More elegantly, via mutual recursion, of which a tree is one of the most basic examples, a tree can be defined in terms of forest (a list of trees), where a tree consists of a value and a forest (the subtrees of its children):

Note that this definition is in terms of values, and is appropriate in functional languages (it assumes referential transparency); different trees have no connections, as they are simply lists of values.

As a data structure, a tree is defined as a node (the root), which itself consists of a value (of some data type, possibly empty), together with a list of references to other nodes (list possibly empty, references possibly null); symbolically:

(A node n consists of a value v and a list of references to other nodes.)

This data structure defines a directed graph,^{[b]} and for it to be a tree one must add a condition on its global structure (its topology), namely that at most one reference can point to any given node (a node has at most a single parent), and no node in the tree point to the root. In fact, every node (other than the root) must have exactly one parent, and the root must have no parents.

Indeed, given a list of nodes, and for each node a list of references to its children, one cannot tell if this structure is a tree or not without analyzing its global structure and that it is in fact topologically a tree, as defined below.

As an abstract data type, the abstract tree type T with values of some type E is defined, using the abstract forest type F (list of trees), by the functions:

In terms of type theory, a tree is an inductive type defined by the constructors nil (empty forest) and node (tree with root node with given value and children).

Viewed as a whole, a tree data structure is an ordered tree, generally with values attached to each node. Concretely, it is (if required to be non-empty):

Often trees have a fixed (more properly, bounded) branching factor (outdegree), particularly always having two child nodes (possibly empty, hence *at most* two *non-empty* child nodes), hence a "binary tree".

Allowing empty trees makes some definitions simpler, some more complicated: a rooted tree must be non-empty, hence if empty trees are allowed the above definition instead becomes "an empty tree or a rooted tree such that ...". On the other hand, empty trees simplify defining fixed branching factor: with empty trees allowed, a binary tree is a tree such that every node has exactly two children, each of which is a tree (possibly empty). The complete sets of operations on the tree must include fork operation.

Mathematically, an *unordered tree*^{[3]} (or "algebraic tree")^{[4]} can be defined as an algebraic structure (*X*, parent) where X is the non-empty carrier set of *nodes* and parent is a function on X which assigns each node x its "parent" node, parent(*x*). The structure is subject to the condition that every non-empty subalgebra must have the same fixed point. That is, there must be a unique "root" node r, such that parent(*r*) = *r* and for every node x, some iterative application parent(parent(⋯parent(*x*)⋯)) equals r.

As the closest alternative, one can define unordered trees as *partial* algebras (*X*, parent) which are obtained from the total algebras described above by letting parent(*r*) be undefined. That is, the root r is the only node on which the parent function is not defined and for every node x, the root is reachable from x in the directed graph (*X*, parent). This definition is in fact coincident with that of an anti-arborescence. The TAoCP book uses the term *oriented tree*.^{[5]}

The box on the right describes the partial algebra (*X*, parent) as a relational structure (*X*, ≺). If (1) is replaced by

Using this definition, dedicated terminology can be provided for generalizations of unordered trees that correspond to distinguished subsets of the listed conditions:

Another equivalent definition of an unordered tree is that of a set-theoretic tree that is singly-rooted and whose height is at most ω (a "finite-ish" tree).^{[6]} That is, the algebraic structures (*X*, parent) are equivalent to partial orders (*X*, ≤) that have a top element r and whose every principal upset (aka principal filter) is a finite chain. To be precise, we should speak about an inverse set-theoretic tree since the set-theoretic definition usually employs opposite ordering.

The correspondence between (*X*, parent) and (*X*, ≤) is established via reflexive transitive closure / reduction, with the reduction resulting in the "partial" version without the root cycle.

The definition of trees in descriptive set theory (DST) utilizes the representation of partial orders (*X*, ≥) as prefix orders between finite sequences. In turns out that up to isomorphism, there is a one-to-one correspondence between the (inverse of) DST trees and the tree structures defined so far.

We can refer to the four equivalent characterizations as to *tree as an algebra*, *tree as a partial algebra*, *tree as a partial order*, and *tree as a prefix order*. There is also a fifth equivalent definition – that of a graph-theoretic rooted tree which is just a connected acyclic rooted graph.

The expression of trees as (partial) algebras (also called functional graphs) (*X*, parent) follows directly the implementation of tree structures using *parent pointers*. Typically, the partial version is used in which the root node has no parent defined. However, in some implementations or models even the parent(*r*) = *r* circularity is established. Notable examples:

from object-oriented programming. In this case, the root node is the top metaclass – the only class that is a direct instance of itself.

Note that the above definition admits *infinite* trees. This allows for the description of infinite structures supported by some implementations via lazy evaluation. A notable example is the infinite regress of eigenclasses from the Ruby object model.^{[11]} In this model, the tree established via `superclass`

links between non-terminal objects is infinite and has an infinite branch (a single infinite branch of "helix" objects – see the diagram).

Each pair of distinct siblings is incomparable in ≤. This is why the word *unordered* is used in the definition. Such a terminology might become misleading when all sibling sets are singletons, i.e. when the set X of all nodes is totally ordered (and thus well-ordered) by ≤ In such a case we might speak about a *singly-branching tree* instead.

As with every partially ordered set, tree structures (*X*, ≤) can be represented by inclusion order – by set systems in which ≤ is coincident with ⊆, the induced inclusion order. Consider a structure (*U*, ℱ) such that U is a non-empty set, and ℱ is a set of subsets of U such that the following are satisfied (by Nested Set Collection definition):

The set-system view of tree structures provides the default semantic model – in the majority of most popular cases, tree data structures represent containment hierarchy. This also offers a justification for order direction with the root at the top: The root node is a *greater* container than any other node. Notable examples:

An unordered tree (*X*, ≤) is *well-founded* if the strict partial order < is a well-founded relation. In particular, every finite tree is well-founded. Assuming the axiom of dependent choice a tree is well-founded if and only if it has no infinite branch.

In contrast to the tree *height* which is at most ω, the *rank* of well-founded trees is unlimited,^{[13]} see the properties of "unfolding".

In computing, a common way to define well-founded trees is via recursive ordered pairs
(*F*, *x*): a tree is a forest F together with a "fresh" node x.^{[14]} A *forest* F in turn is a possibly empty set of trees with pairwise disjoint sets of nodes. For the precise definition, proceed similarly as in the construction of *names* used in the set-theoretic technique of forcing. Let X be a set of nodes. In the superstructure over X, define sets T, ℱ of trees and forests, respectively, and a map nodes : *T* → ℘(*X*) assigning each tree t its underlying set of nodes so that:

Circularities in the above conditions can be eliminated by stratifying each of T, ℱ and nodes into stages like in the previous subsection. Subsequently, define a "subtree" relation ≤ on T as the reflexive transitive closure of the "immediate subtree" relation ≺ defined between trees by

where π_{1}(*t*) is the projection of *t* onto the first coordinate; i.e., it is the forest F such that *t* = (*F*, *x*) for some *x* ∈ *X*. It can be observed that (*T*, ≤) is a multitree: for every *t* ∈ *T*, the principal ideal ↓*t* ordered by ≤ is a well-founded tree as a partial order. Moreover, for every tree *t* ∈ *T*, its "nodes"-order structure (nodes(*t*), ≤_{t}) is given by *x* ≤_{t} *y* if and only if there are forests *F*, *G* ∈ ℱ such that both (*F*, *x*) and (*G*, *y*) are subtrees of *t* and (*F*, *x*) ≤ (*G*, *y*).

Another formalization as well as generalization of unordered trees can be obtained by reifying parent-child pairs of nodes. Each such ordered pair can be regarded as an abstract entity – an "arrow". This results in a multidigraph (*X*, *A*, *s*, *t*) where X is the set of nodes, A is the set of *arrows*, and *s* and *t* are functions from A to X assigning each arrow its *source* and *target*, respectively. The structure is subject to the following conditions:

In (1), the composition symbol ○ is to be interpreted left-to-right. The condition says that inverse consecutivity of arrows^{[d]} is a total child-to-parent map. Let this parent map between arrows be denoted p, i.e. *p* = *s* ○ *t*^{−1}. Then we also have *s* = *p* ○ *t*, thus a multidigraph satisfying (1,2) can also be axiomatized as (*X*, *A*, *p*, *t*), with the parent map p instead of s as a definitory constituent. Observe that the root arrow is necessarily a loop, i.e. its source and target coincide.

An important generalization of the above structure is established by allowing the target map t to be many-to-one. This means that (2) is weakened to

Note that condition (1) asserts that only leaf arrows are allowed to have the same target. That is, the restriction of t to the range of p is still injective.

Multidigraphs satisfying (1,2') can be called "arrow trees" – their tree characteristics is imposed on arrows rather than nodes. These structures can be regarded as the most essential abstraction of the Linux VFS because they reflect the hard-link structure of filesystems. Nodes are called inodes, arrows are dentries (or hard links). The parent and target maps p and t are respectively represented by `d_parent`

and `d_inode`

fields in the dentry data structure.^{[15]} Each inode is assigned a fixed file type, of which the directory type plays a special role of "designed parents":

Using dashed style for the first half of the root loop indicates that, similarly to the parent map, there is a *partial* version for the source map s in which the source of the root arrow is undefined. This variant is employed for further generalization, see #Using paths in a multidigraph.

Unordered trees naturally arise by "unfolding" of accessible pointed graphs.^{[16]}

Apparently, the structure (*X'*, *R'*) is an unordered tree in the "partial-algebra" version: R' is a partial map that relates each non-root element of *X'* to its parent by path popping. The root element is obviously r'. Moreover, the following properties are satisfied:

As shown on the example of hard-link structure of file systems, many data structures in computing allow *multiple* links between nodes. Therefore, in order to properly exhibit the appearance of unordered trees among data structures it is necessary to generalize accessible pointed graphs to *multidigraph* setting. To simplify the terminology, we make use of the term *quiver* which is an established synonym for "multidigraph".

Let an *accessible pointed quiver* or *apq* for short be defined as a structure

where
X is a set of *nodes*,
A is a set of *arrows*,
*s* is a *partial* function from A to X (the *source* map), and
*t* is a total function from A to X (the *target* map).
Thus, ℳ is a "partial multidigraph".

ℳ is said to be a *tree* if the target map t is a bijection between arrows and nodes.
The *unfolding* of ℳ is formed by the sequences mentioned in (2) – which are the *accessibility paths* (cf. Path algebra). As an apq, the unfolding can be written as ℳ' = (*X'*, *A'*, *s'*, *t'*)
where X' is the set of accessibility paths,
A' coincides with X',
s' coincides with path popping, and
t' is the identity on X'.
Like with apgs, unfolding is idempotent and always results in a tree.

The diagram above shows an example of an apq with 1 + 14 arrows. In JavaScript, Python or Ruby, the structure can be created by the following (exactly the same) code:

Unordered trees and their generalizations form the essence of naming systems.
There are two prominent examples of naming systems: file systems and (nested) associative arrays. The multidigraph-based structures from previous subsections provided *anonymous* abstractions for both cases. To obtain naming capabilities, arrows are to be equipped with *names* as identifiers.
A name must be locally unique – within each sibling set of arrows^{[e]} there can be at most one arrow labelled by a given name.

where X is a set of *nodes*, Σ is a set of *names*, A is a set of *arrows*, s is a partial function from A to X, σ is a partial function from A to Σ, and
t is a total function from A to X.
For an arrow a, constituents of the triple (*s*(*a*), *σ*(*a*), *t*(*a*)) are respectively a's *source*, *name* and *target*.

The structure can be rephrased as a deterministic labelled transition system: X is a set of "states", Σ is a set of "labels", A' is a set of "labelled transitions". (Moreover, the root node *r* = *t*(*a*_{r}) is an "initial state", and the accessibility condition means that every state is reachable from the initial state.)

The diagram on the right shows a nested dictionary ℰ that has the same underlying multidigraph as the example in the previous subsection. The structure can be created by the code below. Like before, exactly the same code applies for JavaScript, Python and Ruby.

Subsequently, the remaining arrows are created by assignments of already existing nodes. Arrows that cause cycles are displayed in blue.

In the Linux VFS, the name function σ is represented by the `d_name`

field in the dentry data structure.^{[15]} The ℰ_{0} structure above demonstrates a correspondence between JSON-representable structures and hard-link structures of file systems. In both cases, there is a fixed set of built-in types of "nodes" of which one type is a container type, except that in JSON, there are in fact two such types – Object and Array. If the latter one is ignored (as well as the distinction between individual primitive data types) then the provided abstractions of file-systems and JSON data are the same – both are arrow trees equipped with naming σ and a distinction of container nodes.

See #Nested data for the formal description of tree structures ("JSON-trees") with distinction and bipartition of container nodes.

The naming function σ of a nested dictionary ℰ naturally extends from arrows to arrow paths. Each sequence *p* = [*a*_{1}, ..., *a*_{n}] of consecutive arrows is implicitly assigned a *pathname* (cf. Pathname) – the sequence *σ*(*p*) = [*σ*(*a*_{1}), ..., *σ*(*a*_{n})] of arrow names.^{[f]}
Local uniqueness carries over to arrow paths: different sibling paths have different pathnames. In particular, the root-originating arrow paths are in one-to-one correspondence with their pathnames. This correspondence provides a "symbolic" representation of the unfolding of ℰ via pathnames – the nodes in ℰ are globally identified via a tree of pathnames.

The structures introduced in the previous subsection form just the core "hierarchical" part of tree data structures that appear in computing. In most cases, there is also an additional "horizontal" ordering between siblings. In search trees the order is commonly established by the "key" or value associated with each sibling, but in many trees that is not the case. For example, XML documents, lists within JSON files, and many other structures have order that does not depend on the values in the nodes, but is itself data — sorting the paragraphs of a novel alphabetically would change its meaning.

The correspondent expansion of the previously described tree structures (*X*, ≤) can be defined by endowing each sibling set with a linear order as follows.^{[17]}^{[18]}

An alternative definition according to Kuboyama^{[3]} is presented in the next subsection.

An *ordered tree* is a structure (*X*, ≤_{V}, ≤_{S}) where X is a non-empty set of nodes and ≤_{V} and ≤_{S} are relations on X called * vertical* (or also

*hierarchical*

^{[3]}) order and

*order, respectively. The structure is subject to the following conditions:*

__s__iblingGiven this, there are three (another) distinguished partial orders which are uniquely given by the following prescriptions:

This yields six versions ≺, <, ≤, ≻, >, ≥ for a single partial order relation. Except for ≺ and ≻, each version uniquely determines the others. Passing from ≺ to <requires that < be transitively reducible. This is always satisfied for all of <_{V}, <_{S} and <_{H} but might not hold for <_{L+} or <_{L−} if X is infinite.

As a consequence, the "concordant" linear order <_{L+} is a linear extension of <_{V}. Similarly, <_{L−} is a linear extension of >_{V}.

The Kuboyama's definition of "rooted ordered trees"^{[3]} makes use of the horizontal order ≤_{H} as a definitory relation.^{[g]} (See also Suppes.^{[19]})

Using the notation and terminology introduced so far, the definition can be expressed as follows.

An *ordered tree* is a structure (*X*, ≤_{V}, ≤_{H}) such that conditions (1–5) are satisfied:

The sibling order (≤_{S}) is obtained by (<_{S}) = (<_{H}) ∩ ((≺_{V}) ○ (≻_{V})), i.e. two distinct nodes are in sibling order if and only if they are in horizontal order and are siblings.

In the last two rows, inf_{L−}(*Y*) denotes the infimum of Y in (*X*, ≤_{L−}), and sup_{L+}(*Y*) denotes the supremum of Y in (*X*, ≤_{L+}). In both rows, (≤_{S}) resp. (≥_{S}) can be equivalently replaced by the sibling equivalence (≤_{S})○(≥_{S}). In particular, the partition into sibling sets together with either of ≤_{L−} or ≤_{L+} is also sufficient to determine the ordered tree. The first prescription for ≺_{V} can be read as: the parent of a non-root node x equals the infimum of the set of all immediate predecessors of siblings of x, where the words "infimum" and "predecessors" are meant with regard to ≤_{L−}. Similarly with the second prescription, just use "supremum", "successors" and ≤_{L+}.

The relations ≤_{S} and ≤_{H} obviously cannot form a definitory pair. For the simplest example, consider an ordered tree with exactly two nodes – then one cannot tell which of them is the root.

Below is the list of partial maps that are typically used for ordered tree traversal.^{[21]} Each map is a distinguished functional subrelation of ≤_{L−} or of its opposite.

The traversal maps constitute a partial unary algebra^{[22]} (*X*, parent, previousSibling, ..., nextNode) that forms a basis for representing trees as linked data structures. At least conceptually, there are parent links, sibling adjacency links, and first / last child links. This also applies to unordered trees in general, which can be observed on the dentry data structure in the Linux VFS.^{[23]}

Similarly to the "V-S-H-L^{±}" system of partial orders, there are pairs of traversal maps that uniquely determine the whole ordered tree structure. Naturally, one such generating structure is (*X*, ≺_{V}, ≺_{S}) which can be transcribed as (*X*, parent, nextSibling) – the structure of parent and next-sibling links. Another important generating structure is (*X*, firstChild, nextSibling) known as left-child right-sibling binary tree. This partial algebra establishes a one-to-one correspondence between binary trees and ordered trees.

The correspondence to binary trees provides a concise definition of ordered trees as partial algebras.

As a possible expansion of the "V-S-H-L^{±}" system, another distinguished relations between nodes can be defined, based on the tree's level structure. First, let us denote by ∼_{E} the equivalence relation defined by *x* ∼_{E} *y* if and only if x and y have the same number of ancestors. This yields a partition of the set of nodes into *levels* *L*_{0}, *L*_{1}, ... (, *L*_{n}) – a coarsement of the partition into sibling sets. Then define relations <_{E}, <_{B−} and <_{B+} by

It can be observed that <_{E} is a strict partial order and <_{B−} and <_{B+} are strict total orders. Moreover, there is a similarity between the "V-S-L^{±}" and "V-E-B^{±}" systems: <_{E} is component-wise linear and orthogonal to <_{V}, <_{B−} is linear extension of <_{E} and of >_{V}, and <_{B+} is a linear extension of <_{E} and of <_{V}.

The induced structure on W gives rise to an ordered tree: take the prefix order for ≥_{V} and the lexicographical order for ≤_{L−}.^{[j]}

Ordering of siblings can be naturally applied to multidigraph generalizations that have been introduced for unordered trees. Moveover, sibling indices can be viewed as special names. A tree domain is just a tree of pathnames. As a result, one obtains a *nested list* as a counterpart to a nested dictionary.

The example shown on the right provides a nested-list version of the nested dictionary presented before.
Like before, there is an initial structure (an arrow tree, depicted by full lines) that is created by a single assignment of a literal `[...]`

to `r`

. The structure is subsequently modified by assignments that introduce additional links.

The code is applicable to JavaScript and Ruby. In Python, the modifying assignments are disallowed because of the use of sibling indices that are not present in the initial structure.^{[k]}

The notions of a nested dictionary and a nested list (which are generalizations of unordered / ordered trees, respectively) can be combined into the unifying concept of *nested data*. Such structures are most popular in connection with the JSON data format. These structures are multidigraphs with a distinguished set of container nodes, each container being either a dictionary or a list. In the text below, the sets of dictionaries and lists are respectively denoted *X*_{O} and *X*_{A}. This is according to the JSON terminology in which the corresponding two types of containers are called Object and Array.
The complementary set of non-container nodes represents "primitive values". JSON-specific formalizations^{[27]}
^{[28]}
provide further refinement according to the supported data types.

Let ℳ be called a *nested data tree* if the following conditions are satisfied:

Note in particular that (1) and (2) define accessible pointed quivers (*X*, *A*, *s*, *t*).
Conditions (1–4) provide axiomatization of arrow trees with distinction of containers *X*_{O} ∪ *X*_{A}. By (3) there are unique links to containers and by (4) non-containers must be leaf nodes (cf. conditions (b) and (a) for hard-links in file systems).
An important consequence of (1–4) is the condition of *acyclicity*:

Although dictionaries have the semantics of *unordered* collections, in programming environments they are often equipped with some intrinsic ordering.
Such ordering is supported in all of Python, Ruby and JavaScript.^{[l]}

Thus, it is worthwhile to also consider *ordered nested data trees*, a refinement of nested data trees in which *all* sibling sets are ordered.
(Condition (7a) is altered to let *ι*(*a*) be defined for every non-root arrow a.)

By considering just particular subsets of the above conditions and/or particular constituents of ℳ we obtain a nomenclature of tree data structures. Accessible pointed quivers (*X*,*A*,*s*,*t*) form the "lowest common denominator" – conditions (1) and (2) are always required.
Conditions (4–7) are imposed appropriately to whether *X*_{O}, *X*_{A}, σ or ι are defined.