二元树是一个连通的无环图，并且每一个顶点的度不大于3。有根二元树还要满足根节点的度不大于2。有了根节点之后，每个顶点定义了唯一的父节点，和最多2个子节点。然而，没有足够的资讯来区分左节点和右节点。如果不考虑连通性，允许图中有多个连通分量，这样的结构叫做森林。
性质.二元树是一个有根树，并且每个节点最多有2个子节点。非空的二叉树，若树叶总数为 n0，分支度为2的总数为 n2，则 n0 = n2 + 1。
特殊类型.
满二叉树.一棵深度