Image:BinaryCompositionTreeabc.svg

A binary composition tree, with leaf set {a,b,c}. Abstractly, T = (a,(b,c)).