A graph data structure of nodes with no circular references where each node may have arbitrarily many child nodes.