This document defines and explains the key concepts of binary trees. It begins by defining a binary tree as a collection of nodes where each node contains data and pointers to its left and right children. It describes the root node and how trees can be empty or non-empty. It then explains terms like subtrees, successors, leaf nodes, siblings, levels, and degrees of nodes. The document also covers traversing binary trees using pre-order, in-order, and post-order algorithms and representing binary trees in memory using linked and sequential structures. It concludes with an example of using a binary tree to represent an algebraic expression.