非空真子集是什麼意思

在集合論中，一個集合的「真子集」是指包含該集合的所有元素，除了該集合自身之外。換句話說，一個集合的真子集是該集合的一個子集，但它不包含集合的所有元素。

例如，考慮集合 A = {1, 2, 3}。它的子集可能包括 {1}、{1, 2}、{2, 3} 等等。但是，這些子集中只有 {1, 2, 3} 不是真子集。因為 {1, 2, 3} 包含了集合 A 的所有元素，所以它不是 A 的真子集。

當我們說一個集合是非空真子集時，我們指的是這個集合包含至少一個元素，並且不是它所從屬的集合的真子集。例如，集合 {1, 2} 是集合 A = {1, 2, 3} 的非空真子集，因為它包含至少一個元素，並且不是 A 的真子集。