Definition:Infinite Graph