I would like to know from the experts and fellows with experience, as my googling is not returning precisely what I'm searching for but the rooted product of graphs.
My question is whether there exists a formal definition (and properties) for the product of two rooted trees, say tree T1 times tree T2, such that the product yields a tree T3 which corresponds to T1, but the root of T2 is attached to each leave of T1 ??
Have you ever heard about this?
Thanks!