二叉树是一种树数据结构，其中每个节点最多有两个子节点，分别称为左子节点和右子节点。这使其区别于节点可以有任意数量子节点的树。如果树中的每个非叶子节点都有非空的左子节点和右子节点，则该二叉树被称为严格二叉树。如果树的所有层级（除了最后一层可能除外）都完全填充，并且所有节点都尽可能左对齐，则该二叉树是完整的。由于二叉树具有适合数学运算和数据组织的特性，多种算法和函数都采用二叉树。