Definition:Traversable Graph