>>602
>>603の訂正:
必ずしも A=B となるとは限らない。一般には A≠B となる。
→ 必ずしも 「A⊂B」 となるとは限らない。一般には「そのようにはならない」。
いわゆる、包含関係の扱いがスッキリしない。