Definition:Eulerian Circuit

Definition
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.