Grootte

De grootte van een graaf is het aantal elementen in .
In GrInvIn kan je de orde van een graaf berekenen door gebruik te maken van de aantal bogeninvariant.