for G being _finite _Graph holds
( G is Tree-like iff ( G is connected & G .order() = (G .size()) + 1 ) )