Define Binary Tree
A binary tree T is explained as a finite set of nodes that is either empty or having of root and two disjoint binary trees TL, and TR known as, respectively the left and right subtree of the root.