Definição

O número de vértices de um grafo $G$ é a sua ordem. Grafos são finitos, infinitos, contáveis ​​e assim por diante de acordo com sua ordem.