非空真子集什麼意思

在集合論中，一個集合的「真子集」是指包含該集合的所有元素，除了該集合本身以外的任何集合。換句話說，如果集合A是集合B的真子集，那麼A中的所有元素都是B中的元素，但是B中還有一些元素是A中沒有的。

「非空」則是指該集合至少包含一個元素。

因此，一個非空真子集是指一個包含至少一個元素的集合，且這個集合是另一個集合的真子集，但不是該集合本身。例如，考慮集合{1, 2, 3}，它的真子集包括：

1. {1}
2. {2}
3. {3}
4. {1, 2}
5. {1, 3}
6. {2, 3}

這些都是{1, 2, 3}的真子集，但它們都不是{1, 2, 3}本身。其中，{1}、{2}和{3}是非空真子集，因為它們各自包含至少一個元素。