II.D20 — Congruence Relation

Segment congruence on tau^3 defined by AB ~ CD iff d(A,B) = d(C,D), where d is the canonical ultrametric distance.