Traceable graph
Definition
A graph is traceable if and only if it has a Hamiltonian path.
Proper supersets
Graph