The source project of this merge request has been removed.
Dass man auf der rechten Seite nur endliche Teilmengen betrachtet ist ja sehr wichtig, außerdem stand rechts nochmal \Sigma statt \chi.
Ich persönlich würde vielleicht auch noch reinschreiben dass die \m{M} \sigma-Strukturen sind.