昨日の日記ですが、自分なりの解答を示しておくなら両方正しいです。
この問題が一見パラドックスのように見えるのは、「モノ」と「機能の集合」を同一視するからなんですけど。最初から二つを別に扱えばいいんかないですかね。
とここまで書いて、続きは後ほど。昨日の例で言えば、商品群 ≠ 機能（の集合）っちゅーことです。でも、無関係ではなくて、むしろ密接に関係していそう。
なので、その関係をfとでも表現してみます。昨日の例では、f(A) ＝ {foo}、f(B) ＝ {foo, bar}。
「メソッドのあるなしで考えると、A ⊂ B」というのは、結局 f(A) ⊂ f(B)ってこと。
fを適用すると、包含関係がひっくり返る。ただ、それだけの話だったわけでして。
…続きを書く時間がなくなったので、一旦この辺で。
