真包含於號是什麼意思

在邏輯和集合論中，「真包含於」符號通常表示為「⊆」，這個符號用來表示一個集合是另一個集合的子集。如果集合 A 真包含於集合 B（用符號表示為 A ⊆ B），那麼集合 A 中的所有元素也都是集合 B 中的元素。

例如，考慮集合 A = {1, 2, 3} 和集合 B = {1, 2, 3, 4, 5}。因為集合 A 中的所有元素（1, 2, 3）都可以在集合 B 中找到，所以集合 A 真包含於集合 B（或者說集合 A 是集合 B 的子集），這可以表示為 A ⊆ B。

在邏輯中，「真包含於」這個概念也可以用來表示一個性質或條件適用於一個集合中的所有元素。例如，如果所有的蘋果都是水果，那麼我們可以說「蘋果的真包含於水果」，這意味著所有的蘋果都是水果，沒有任何蘋果不是水果。