Size

The size of a graph is the number of elements in .
In GrInvIn you can calculate the size of a graph by using the number of edges invariant.