Let $x, y \in \mathbb{R}^N$ each be a D4924: Euclidean real number.
The line segment in $\mathbb{R}^N$ from $x$ to $y$ is the D11: Set \begin{equation} \{ t x + (1 - t) y : t \in [0, 1] \} \end{equation}