Order of Graph

[rodigu]

The order of a graph is $|V|$, the size of its vertex set.
The size of a graph is $|E|$, the size of its edge set.

Change naming of number of edges and number of vertices getters.