NISHIO Hirokazu[Translate]
「含まれる」は曖昧
X \subseteq Y
集合Xが集合Yに含まれる
集合Xのすべての要素が集合Yに含まれる

\exist x\in X, x\in Y
集合Xのある要素が集合Yに含まれる
"このスープにはニンジンが含まれている。"


"Engineer's way of creating knowledge" the English version of my book is now available on [Engineer's way of creating knowledge]

(C)NISHIO Hirokazu / Converted from [Scrapbox] at [Edit]