Este documento describe los árboles binarios, los cuales son estructuras de datos donde cada nodo tiene como máximo dos hijos (subárboles izquierdo y derecho). Explica que un árbol binario puede estar vacío o consistir de un nodo raíz con dos subárboles binarios. También define árboles binarios distintos, similares y equivalentes, y discute variantes como árboles estrictos, llenos y completos.