「含まれる」は曖昧

$ X \subseteq Y

集合Xが集合Yに含まれる

集合Xのすべての要素が集合Yに含まれる

$ \exist x\in X, x\in Y

集合Xのある要素が集合Yに含まれる

"このスープにはニンジンが含まれている。"