AVL Tree Intersection

The insersection of $T_1$, $T_2$ is the key/value pairs that are both in $T_1$, $T_2$

$$(k,v_1)\in T_1\wedge (k,v_2)\in T_2⟹[(k,v_1)\vee (k,v_2)\in T]$$