这个应该和2完全一样

嵌入关系不是子图。
若树中的某点有一条线连接，则将该点与连接的线删去；若某点有两条线连接，则将该点删去后将由它连接的两点用一条线连接。
若图A以此法可以在有限次步骤中得到图B，则称B嵌入于A。

存在一个二元运算符 inf（与集合的下确界无关），它返回两个顶点最新的共同祖先。图中4和5是3，2和4是1
如果存在一个从树 S 的顶点到树 T 的顶点的单射 φ，使得以下条件成立，则称树 S 可同胚嵌入到树 T 中：
对于 S 中的所有 z，φ(z) 和 z 的颜色相同；
对于 S 中的所有 x, y，φ(x inf y) = φ(x) inf φ(y)。

如果树A能够通过有限次“去掉一个叶子”和“去掉一个子顶点数为1的顶点，并把它的子顶点和它的父顶点连接起来”操作变成树B，那么B就能嵌入A。
这样说也等价

1决定了后面不能用红
2决定了蓝下不能有蓝，只能纯绿
3决定了蓝下两个分支里不能都有绿，只能单分支纯绿
4和11决定了蓝下只能有一个绿
现在根节点只能画绿了，绿下可以有绿，可以有蓝（蓝下只能单绿），也就是只能有单蓝，单蓝下单绿，纯绿