A graph is a forest if it is a disjoint collection of trees.
i1 : G = graph({{1,2},{1,3},{6,4},{4,5}},EntryMode=>"edges");
i2 : isForest G o2 = true
The object isForest is a method function.