\begin{definition}[Definition:Graph (Graph Theory)/Order]
Let $G = \struct {V, E}$ be a graph.
The '''order''' of $G$ is the cardinality of its vertex set.
That is, the '''order''' of $G$ is $\card V$.
\end{definition}