the following cases are equivalent:
- the graph is a tree,
- between every two vertices there is a single path,
- is connected and upon the removal of any of the edges we get a non-connected graph,
- is connected and ,
- is acyclic and .
the following cases are equivalent: