N \(N\M) = M <=> M ⊆ N
Du musst also 2 Sachen zeigen:
1. N \(N\M) = M => M ⊆ N und dann noch
2. N \(N\M) = M => M ⊆ N.
zu 1. Sei N \(N\M) = M und x∈M.
Um M ⊆ N zu zeigen, muss folgen x∈N.
Also los: x∈M ( wegen N \(N\M) = M )
==> x ∈ N \(N\M)
==> x ∈ N und x∉ N\M
==> x ∈ N und ( x∉ N oder x∈M )
Distributiv bei und/oder
==> (x ∈ N und x∉ N) oder ( x ∈ N und x∈M )
Da die erste Klammer falsch ist, folgt x ∈ N und x∈M
insbesondere x∈M.
Versuch mal 2.