Tree

Let be a tree then

is an acyclic connected graph

Equivalence of Tree and Minimal Connected Graph lemma

Let be a graph then

is a tree is a minimal connected graph

Uniqueness of a Path in a Tree lemma

Let and be vertices of tree then

contains unique path

Property of Tree with at least Two Vertices lemma

Let be a tree with at least two vertices then

has at least two leaves

Removing Leaf from Tree lemma

Let be a tree with leaf then

is a tree

Number of Edges in a Tree lemma

Let be a tree with vertices then

Spanning Tree

Let be a graph
Let be a subgraph of then

is a spanning tree of if is a spanning subgraph and a tree

Connected Graph contains Spanning Tree

Let be a connected graph then

contains at least one spanning tree

Note that this can be found by removing edges one at a time until it is connected (and so minimally connected)

Relation of Connectivity and Edges to a Tree lemma

Let be a graph where then

is a tree

  1. is connected

Relation between Maximal Acyclic and Trees

Let be a graph then

is a tree is maximal acyclic

Relation between Acyclic and Edges to Tree

Let be a graph with vertices then

is a tree

  1. is acyclic