Zirkel und Lineal/Konstruierbar aus Startmenge/Definition/Begriff/Inhalt

Ein Punkt ${}P\in E$ heißt aus ${}M$ 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.