Definition:Infinite Half-Line