A⊆B かつ B⊆A



A = B の定義ではないでしょうか?