Дерево – зв'язний граф без циклів. Ліс (або ациклічний граф) – неограф| без циклів. Компонентами лісу є|з'являються,являються| дерева.
Теорема 14.1. Для неографа| G з|із| n вершинами без петель наступні|слідуючі| умови еквівалентні:
1) G – дерево;
2) G – зв'язковий граф, що містить|утримує| n – 1 ребро;
3) G – ациклічний граф, що містить|утримує| n – 1 ребро;
4) Будь-які дві неспівпадаючі вершини графа G сполучає|поєднує,з'єднує| єдиний ланцюг|цеп|;
5) G – ациклічний граф, такий, що якщо в нього додати|добавити| одне ребро, то в ньому з'явиться|появиться| рівно один цикл.
Теорема 14.2. Неограф G є|з'являється,являється| лісом тоді і тільки|лише| тоді, коли коранг| графа v(G)=0.
Висяча вершина в дереві – вершина ступеня|міри| 1. Висячі вершини називаються листям, всі інші – внутрішніми вершинами.
Якщо в дереві особливо виділена одна вершина, звана коренем, то таке дерево називається кореневим, інакше – вільним.
Кореневе дерево можна рахувати орграфом| з|із| орієнтацією дуг з|із| кореня або в корінь. Очевидно, що для будь-якої вершини кореневого дерева, окрім|крім| кореня, . Для кореня:, для листя: .
Вершини дерева, видалені|віддалені| на відстань k (у числі дуг) від кореня, утворюють k -й| ярус (рівень) дерева. Найбільше значення k називається висотою дерева.
Якщо з|із| якої-небудь вершини кореневого дерева виходять дуги, то вершини на кінцях цих дуг називають синами (у англійській літературі – дочки (daughter)).