# Graph

V a set of vertices (also called nodes or points); E a set of edges (also called directed edges, directed links, directed lines, arrows or arcs)

E ⊆ {(x, y) | (x, y) ∈ V2 ∧ x ≠ y}