Walk
A finite sequence of edges such that the end vertex of one edge is the start of the next
Tour
A walk which visits every vertex, returning to it’s starting vertex
Classical TSP
Each vertex visited exactly once before returning to the start
Practical TSP
Every vertex visited at least once before returning to the start
Triangle inequality
The longest side of any triangle <= the sum of the two shorter sides