A theoretical graph data structure with implementations of recursive attributes.