Parabola

Given line $l$ and a point $F$, a parabola is the locus of the predicate $P(p): \text{dist}(p, F) = \text{dist}(p, l).$