Let G:=(V,E) be a finite undirected graph.
One can also think of \mathcal{V}(G) as the power set of V made into a vector space with similar vector addition and scalar multiplication as defined for \mathcal{E}(G).