geometric construction

formal generation of a geometrical figure using idealized mathematical instruments