A theoretical graph data structure with implementations of a recursive behavior.