Branching-depth antichain of rooted trees
ID: branching-depth-antichain-of-rooted-trees
Let consist of a rooted path of edges followed by two leaves at its far end. Its only vertex with two children has depth . An adjacency-preserving rooted-tree embedding must preserve this depth, so embeds into only when . This gives an infinite bad sequence, while rooted-tree homeomorphic embeddings can stretch the stems.
New to topics? Read the docs here!