Assertion: graph's g | /r/HasProperty | topological minor of h
Facets:
Source sentences:
text: Theorem: If G {\displaystyle G} is a topological minor of H {\displaystyle H} , then G ⪯ H {\displaystyle G\preceq H} .