\begin{definition}[Definition:Eulerian Graph]
A loop-multigraph or loop-multidigraph is called '''Eulerian''' {{iff}} it contains an Eulerian circuit.
An '''Eulerian graph''' is also, by definition, traversable.
\end{definition}