Assertion: graph's g | /r/HasProperty | minors of each other
Facets:
Source sentences:
text: It is straightforward to verify that the graph minor relation forms a partial order on the isomorphism classes of undirected graphs: it is transitive (a minor of a minor of G is a minor of G itself), and G and H can only be minors of each other if they are isomorphic because any nontrivial minor operation removes edges or vertices.