Die Relation "kongruent" (siehe kongruente Punktmengen) ist eine Äquivalenzrelation. Deswegen zerfällt die Menge aller Strecken in Äquivalenzklassen, die jeweils zueinander kongruente Strecken enthalten.

Die Länge einer Strecke ist die Äquivalenzklasse, zu der die Strecke gehört, d.h. die Menge aller Strecken, die zu der gegebenen Strecke kongruent sind.

Die Länge einer Strecke PQ wird abgekürzt geschrieben als |PQ|.

Zu einer Länge |PQ| gibt es auf einer orientierten Geraden (siehe orientierte Gerade) mit Anfangspunkt R genau einen Punkt S, so dass die Strecke RS ein Element der Länge |PQ| ist.

Ein Längenfunktional ordnet den Längen reelle Zahlenwerte zu.