Zirkel und Lineal/Elementare Konstruktion/Gerade/Definition

Elementar konstruierbare Gerade

Es sei  ${}M\subseteq E$  eine Teilmenge der Ebene ${}E$. Eine Gerade  ${}G\subseteq E$  heißt aus ${}M$ elementar konstruierbar, wenn es zwei Punkte ${}P,Q\in M$, ${}P\neq Q$, derart gibt, dass die Verbindungsgerade von ${}P$ und ${}Q$ gleich ${}G$ ist.