A data structure that represents entities in nodes, with at most one parent node for each node, and with only one root node.