Elementary geometry

identity on affine spaces

In geometry, confocal means having the same foci: confocal conic sections.

first-order axiomatization of a fragment of Euclidean geometry