A graph is a tree iff it’s connected and acyclic.
Forest
A graph is a forest iff it’s all connected components are trees. All acyclic graphs are forests. All subgraphs of a forest is also a forest.
Subgraphs of a tree is a
Subtree
If a subgraph of a tree is also a tree, it’s a subtree.
Theorem
All 4 below statements are equivalent:
- T is a tree
- Any two vertices of T are joined by a unique path
- T is connected and ∣E(T)∣=∣V(T)∣−1
- T is acyclic and ∣E(T)∣=∣V(T)∣−1
Leaf
A vertex with degree 1, in a tree.
Any tree with 2 or more vertices, contains at least 2 leaves.