More precisely, a directed acyclic graph.