Де́рево в математике, связный граф без циклов. Следующие свойства графа $G$ с $p$ вершинами и $q$ рёбрами эквивалентны тому, что граф $G$ является деревом: любые две вершины в $G$ соединены единственной простой цепью (т. е. маршрутом с попарно различными вершинами), $G$ – связный граф и $p=q+1$, $G$ – граф без циклов и $p=q+1$.

Граф, каждая компонента которого является деревом, называется лесом.