>>911
ルートノードRから各ノード（例えばAとする）への一意的な道R→…→B→AとB→Aが一対一に対応するということを言おうとしているようにもかすかながら思えますが、
何を言っているのか正確には分かりません。