DIで実現できることはAOPで実現できることに完全に含まれてるわけじゃないね。
というか、ちょっとしか共通点ないんじゃないの？

それに「〜の一つ」って「⊂」の項に置いたら集合演算にならんでしょ。