1. The pedal curve of a given curve C with respect to a fixed point P is the locus of the foot of the perpendicular from P to a variable tangent to C. Also known as first pedal curve; first positive pedal curve; positive pedal curve.

2. Any curve that can be derived from a given curve C by repeated application of the procedure specified in the first definition.