\begin{definition}[Definition:Eulerian Circuit]
An '''Eulerian circuit''' (or '''eulerian circuit''') is a circuit that passes through every vertex of a graph and uses every edge exactly once.
It follows that every Eulerian circuit is also an Eulerian trail.
\end{definition}