Description: The binary relationship
form of the congruence predicate. The statement
Cgr should be read informally as "the
dimensional point is as far from as is from
, or
"the line segment is
congruent to the line segment .
This particular definition is encapsulated by Tarski's axioms later on.
(Contributed by Scott Fenton, 3-Jun-2013.)