A graph with nodes and edges and some algorithms like closure or topologial sort.