ん?
∀x(x∈A⇒x∈B) は、xが鬼でも成り立つよ?