Теорема о равенстве множеств

Два множества равны тогда и только тогда, когда каждое из них является подмножеством другого.