Definition:Graph Notation