写像φ：Ａ→Ｂが与えられていて
Ａ_1をＡの部分集合とすれば
φ(-1)(φ(Ａ_1))⊃Ａ_1

φ(φ(-1)(φ(Ａ_1)))=φ(Ａ_1)
となっていて

Ｂ_1をＢの部分集合とすれば
φ(φ(-1)(Ｂ_1))⊂Ｂ_1

φ(-1)(φ(φ(-1)(Ｂ_1)))=φ(-1)(Ｂ_1)
となっていて
包含と同等の違いがどこから生じているのかさっぱりわからないんです
どうか助けて下さい…