Stimmt, dass := auch für rekursive Definitionen verwendet wird habe ich nicht berücksichtigt. Ich hab kurz gebraucht um die Tautologie zu sehen, aber du hast recht, wenn man es als rekursiv ansieht bekommt man als “Definition” Σ = Σ raus (und die Menge Σ muss Kardinalität 1 haben - das macht es aber auch etwas schön, da man nun der Variable Σ eindeutig den Wert des einzigen Elements von Σ zuweisen könnte).

Σ := Σ_Σ Σ
<=> Σ = |Σ| * Σ
<=> 1 = |Σ|

Fünf Sigmas in einer Gleichung sind aber eindeutig zu viel, das könnte ja noch für Verwirrung sorgen!