Resumen de Positive definitions of segment congruence in terms of segment inequality
It is shown that segment congruence can be defined by means of a positive existential definition in terms of segment inequality in several geometries over Archimedean ordered fields, and that it can be defined by means of a positive sentence in n-dimensional Euclidean geometry over arbitrary ordered fields.
