補足。
もし[ac]と[ab]がどちらも存在したなら、
この２つには、両方に属するもの（a）も、どちらにも属さないもの（dやe）が
ともに存在するので、条件より、片方が他方を含まないといけないが、
[ac]は[ab]を含まず、[ab]も[ac]を含まないので、不可。

まあ、全体的に数学っぽくない日本語で表現しているところで、
「含む」という言葉だけ集合の包含関係を意味するというのも
なんだかなあとは思うが。
包含ではなく含有だったら、[ac]は[ab]のうちaを含んでいるからOKと思われても
仕方ない。問題文の問題。いつものこと。