子集(英語:subset)亦稱部分集合,為某集合中部分元素的集合;關係相反時則稱作父集母集超集。子集與父集的關係被稱為「包含」。

Thumb
A是B的子集,B是A的超集。

如果集合A的任意一個元素都是集合B的元素(任意a∈A,則a∈B),那麼集合A稱為集合B的子集,記為,讀作「集合A包含於集合B」或「集合B包含集合A」。

即:,有,則

集合,且的所有元素都是的元素,則可表示為:

  • 子集(或稱包含於 );
  • 父集超集(或稱包含 );

任何集合皆是本身的子集()。而的子集中不等於的集合,稱為真子集,若的真子集,寫作

定義

假設有兩個集合,如果中的每個元素都是的元素,則:

  • 子集,記作
也可以說
  • 超集,記作

如果的子集,但等於(即中至少存在一個元素不在集合中),則:

  • 真子集,記作
也可以說
  • 真超集,記作

符號

ISO 80000-2標準中定義了兩種符號搭配:[1]

  • 表示子集關係,表示真子集關係。使用的作品如[2][3][4]
  • 表示子集關係,表示真子集關係。使用的作品如[5]:p.6

舉例

  • 集合是集合的真子集。
  • 自然數集合是有理數集合的真子集。
  • 集合是大於2000的素數是集合是大於1000的奇數的真子集。
  • 任意集合是其自身的子集,但不是真子集。
  • 空集,寫作,是任意集合的子集。空集總是其他集合的真子集,除了其自身。

性質

Thumb
A是B的子集。

命題1空集是任意集合的子集。

這個命題說明:包含是一種偏序關係

命題2:若是集合,則:

自反性
反對稱性
  • 若且唯若
傳遞性

這個命題說明:對任意集合冪集按包含排序是一個有界格,與上述命題相結合,則它是一個布爾代數

命題3:若是集合的子集,則:

存在一個最小元和一個最大元
  • 由命題1給出)
存在並運算
存在交運算

命題4:對任意兩個集合,下列表述等價:

這個命題說明:表述"",和其他使用併集交集補集的表述是等價的,即包含關係在公理體系中是多餘的。

參考文獻

參見

Wikiwand in your browser!

Seamless Wikipedia browsing. On steroids.

Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.

Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.