Loading AI tools
集合A是集合B的子集,是指A的所有元素都是B當中的元素 来自维基百科,自由的百科全书
子集(英語:subset)亦稱部分集合,為某集合中部分元素的集合;關係相反時則稱作父集、母集、超集。子集與父集的關係被稱為「包含」。
如果集合A的任意一個元素都是集合B的元素(任意a∈A,則a∈B),則集合A稱為集合B的子集,記為或,讀作「集合A包含於集合B」或「集合B包含集合A」。
即:,有,則。
任何集合皆是本身的子集()。而的子集中不等於的集合,稱為真子集,若是的真子集,寫作。
假設有和兩個集合,如果中的每個元素都是的元素,則:
如果是的子集,但不等於(即中至少存在一個元素不在集合中),則:
ISO 80000-2標準中定義了兩種符號搭配:[1]
命題1:空集是任意集合的子集。
這個命題說明:包含是一種偏序關係。
命題2:若是集合,則:
這個命題說明:對任意集合,的冪集按包含排序是一個有界格,與上述命題相結合,則它是一個布爾代數。
命題3:若是集合的子集,則:
命題4:對任意兩個集合和,下列表述等價:
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.