Definition:Congruence (Metric Spaces)

Definition
Let $\struct {X, d}$ be a metric space.

Two subsets $A, B \subseteq X$ of $X$ are said to be congruent there exists an isometry $f: X \to X$ such that $\map {f^\to} A = B$.

Such an isometry is called a congruence.