weiß ich nicht was M3 ist.
M3 = { A | ∅ ⊆ A ⊆ {1, 2, 3} }
Könnte {∅, 1, 2, 3}
Prüfe für jedes A ∈ {∅, 1, 2, 3}, ob ∅ ⊆ A ⊆ {1, 2, 3} gilt.
Dann wirst du festestellen, dass 1 ⊆ {1, 2, 3} nicht gilt.
Stattdessen ist
M3 = {∅, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}}.