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

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

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