La Lumaca è l'inviluppo delle circonferenze aventi per diametro il segmento di estremi il punto G e un generico punto di una fissata circonferenza. Quando G appartiene alla circonferenza si ottiene La Cardioide