Definition:Half-Line