教科書の表記どおり⊂を部分集合の意味として質問に答えておくよ

① 同値になるとは「同じことを言っている」という意味だと思えば良いかと
教科書的には「PならばQ」と「QならばP」が同時に成り立つとき、条件PとQは同値だと言うんだったね

② よく書くベン図では、集合AとBに包含関係がないとするのが普通だよね
そういう状況ではあなたが言うように、A∩BはBよりも真に小さくなるはず
だけど、A⊃Bだとしたらどうだろう？この場合、BがAにすっぽり入ってるようなベン図を書くことになるのでA∩BとBは一致して、とくにA∩B⊃Bが成り立つ訳だ
つまり、いつも書くベン図ではA∩B⊃Bはおかしなことに見えるけれども、特殊な状況(この場合ではA⊃B)ではちゃんと成り立ってる

③ もちろん可能です
例えばA⊃BとP1についてやると、

まずA⊃Bを仮定する(すなわち,すべての元x∈Bに対してx∈Aである).
そこでx∈Bをとれば, x∈Aなのだから, x∈A∩Bである.したがって, A∩B⊃Bが成り立つ.
逆にA∩B⊃Bを仮定する.
そこでx∈Bをとれば, x∈A∩Bなのだから, x∈Aである.したがって, A⊃Bが成り立つ。
以上から, A⊃BとP1は同値である.

のようにできる(というか、本当はこれが厳密な議論)
だけど、いちいちこんなことやってたら時間がめちゃくちゃ掛かるのでオススメはしません