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$

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