Definition:Connected Graph