>>111
>せっかく間違いを正してもらったのに
何これ?

>>112
B⇒A b⊆a
A⇒B a⊆b
A⇒B a⊆b