Теорема об эквивалентности пары множеств и упорядоченной пары множеств

Пусть тогда пара множеств множеств $$a,b$$ эквивалентна упорядоченной паре множеств $$a,b$$: $$ \forall a \ \forall b \quad \{\, a, b \,\} \sim \langle a,b \rangle $$
 * $$a,b$$ – множества.