Orde

De orde 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 toppeninvariant.