ThmDex – An index of mathematical definitions, results, and conjectures.

Formulation F453 on D2749: Tree graph

F453

Formulation 0

A D778: Graph $G$ is a tree graph if and only if

(1)	$G$ is an D2747: Acyclic graph
(2)	$G$ is a D2748: Connected graph