Tippfehler und Kompaktheitssatz

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.