Def/Rooted ordered binary tree