Hyperbola

Given points $F_1$, $F_2$ and a distance $2a$, a hyperbola is the locus of the predicate $P(p): \lvert \text{dist}(p, F_1) - \text{dist}(p, F_2) \rvert = 2a$.