Wir zeigen die beiden Inklusionen. Es sei zunächst

Dies bedeutet

und

Dies bedeutet einerseits und andererseits . Also ist .

Wenn umgekehrt gilt, so ist und . Wegen der Teilmengenbeziehungen und ist

und

und damit auch