Definition:Infinite Line