Definition A [[Walk in Undirected Graph|walk]] that does not use the same edge more than once. # Properties A trail is [[Euler Walk in Undirected Graph|eulerian]] if it is circuit that includes all edges one time. A trail is semi-eulerian if it is open and includes all edges one time.