Straight line (source code)

= Straight line
{title2=$L$}

= Euclidean line
{c}
{synonym}

A straight line in <Euclidean space> is the set $L=\{x_0+tv:t\in\mathbb R\}$, for a fixed point $x_0$ and nonzero direction <vector> $v$. Two distinct points determine one such line.