- Let be an undirected, connected graph with vertices
- connected: there is a path between any two vertices
- A subgraph of is said to be a spanning tree of if
- spanning:
- tree: is undirected graph, then is a subgraph if and , then is spanning if i.e., contains all vertices of .
A graph would be a tree only if:
- has no cycles (1 + 2 3)
- is connected (2 + 3 1)
- has edges and vertices (1 + 3 2)
