>>233
いや、なぜそう定義するのかを知りたかったのですよ。

>>231
> 「A'が空集合」 => 「∀B', A'⊆B'」
の部分がなんかずるいですが、分かりやすいですね。
ありがとうございます。