Definition:Infinite String