Definition:Eulerian Circuit

An 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 a Eulerian path.