Zirkel und Lineal/Konstruierbar aus Startmenge/Definition

Konstruierbare Punkte aus einer Startmenge

Es sei ${}M\subseteq E$ eine Teilmenge der Ebene ${}E$. Dann heißt ein Punkt ${}P\in E$ aus ${}M$ konstruierbar (oder mit Zirkel und Lineal konstruierbar), wenn es eine Folge von Punkten

$P_{1},\ldots ,P_{n}=P$

gibt derart, dass ${}P_{i}$ jeweils aus ${}M\cup \{P_{1},\ldots ,P_{i-1}\}$ in einem Schritt konstruierbar ist.