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.