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.