Homeomorphic embedding of a rooted tree
= Homeomorphic embedding of a rooted tree
{title2=$T\preceq S$}
= Rooted-tree homeomorphic embedding
{synonym}
For finite <rooted trees> in the ancestor <partial order>, a <rooted-tree homeomorphic embedding> is an injective vertex map preserving <lowest common ancestors>: $h(u\wedge v)=h(u)\wedge h(v)$. The image of the source root need not be the host root. Edge paths and branching are preserved, while paths may be subdivided in the larger tree.