Displaying that this definition is indeed the right one particular can be carried out by an easy induction pursuing the recursive definition of (textit rbst ):Contrary to Martínez & Roura, We have now unified intersection and variance of two MR trees into a single algorithm to be able to avoid a duplication of proofs. The definition is pretty basi