\begin{definition}[Definition:Degree Sequence]
Let $G = \struct {V, E}$ be a graph.
The '''degree sequence''' of $G$ is the sequence obtained by listing all the degrees of all the vertices of $G$ in ascending order, with repeats as needed.
\end{definition}