Kruskal's tree theorem
In mathematics, Kruskal's tree theorem states that the set of finite trees over a well-quasi-ordered set of labels is itself well-quasi-ordered under homeomorphic embedding.
Source: Wikipedia, Kruskal's tree theorem. Text licensed CC BY-SA 4.0. Not endorsed by or affiliated with Wikipedia or the Wikimedia Foundation.