Wir zeigen die beiden Inklusionen. Es sei zunächst
Dies bedeutet
und
Dies bedeutet einerseits x ∈ A {\displaystyle {}x\in A} und andererseits y ∈ B {\displaystyle {}y\in B} . Also ist ( x , y ) ∈ A × B {\displaystyle {}(x,y)\in A\times B} .
Wenn umgekehrt ( x , y ) ∈ A × B {\displaystyle {}(x,y)\in A\times B} gilt, so ist x ∈ A {\displaystyle {}x\in A} und y ∈ B {\displaystyle {}y\in B} . Wegen der Teilmengenbeziehungen A ⊆ M {\displaystyle {}A\subseteq M} und B ⊆ N {\displaystyle {}B\subseteq N} ist
und damit auch