A

in an undirected graph is a sequence of edges in which each edge after the first shares an endpoint with the previous edge in the sequence. A

is such a sequence that begins and ends at the same vertex.