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

Die Winkelgröße eines Winkels ist die Äquivalenzklasse, zu der der Winkel gehört, d.h. die Menge aller Winkel, die zu dem gegebenen Winkel kongruent sind.