A size- recursive tree's vertices are labeled by distinct positive integers , where the labels are strictly increasing starting at the root labeled 1.
A size- recursive tree's vertices are marked by unique positive integers, where the labels are strictly increasing starting from the root labeled 1.