graph minor
Short definition from Wiktionary
Noun
- A graph which can be formed from some specified graph by performing vertex deletions, edge deletions, and edge contractions on the specified graph.
We haven’t written up graph minor yet: Simple and Standard meanings, examples and a quiz.