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.