真包含於是什麼意思

在邏輯學和集合論中，「真包含於」是一個關係，表示一個集合的所有元素都是另一個集合的元素。這個關係通常用符號「⊆」表示，讀作「是...的子集」。如果集合 A 的所有元素都是集合 B 的元素，那麼我們說集合 A 真包含於集合 B，或者集合 B 真包含集合 A。

例如，考慮集合 A = {1, 2, 3} 和集合 B = {1, 2, 3, 4, 5}。因為集合 A 的所有元素（1, 2, 3）都是集合 B 的元素，所以集合 A 真包含於集合 B，我們可以寫成 A ⊆ B。

需要注意的是，當我們說集合 A 真包含於集合 B（A ⊆ B）時，這意味著集合 A 的元素與集合 B 的元素完全相同，或者集合 A 是集合 B 的子集。如果集合 A 不是集合 B 的子集，那麼我們不能說 A 真包含於 B。在這種情況下，我們可能會說集合 A 「不包含於」集合 B，或者集合 A 和集合 B 是「不相交」的。