sollte um 1 Uhr nachts mich eher mit dem Schlafen beschäftigen.

Gleich.

Bonus: Wieso nicht noch ein Weiteres Sigma reinpacken?

Σ := Σ_{Σ∈Σ} {Σ}

Ich habe aus versehen den Ausdruck genau so gelesen (also als Σ := Σ_{Σ∈Σ} Σ, nicht Σ := Σ_{Σ∈Σ} \{Σ\}). Aber das ist natürlich Quatsch.

Die Σ Variable rechts bindet natürlich an das Σ und überschattet damit das globale Σ. Und es ist allquantifiziert.