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.