WordNet

a set whose members are members of another set; a set contained within another set

PrepTutorEJDIC

(一組・一団などの一部を成す)小さな一組 / (数学の集合論で)部分集合

Wikipedia preview

出典(authority):フリー百科事典『ウィキペディア（Wikipedia）』「2014/05/23 01:15:28」(JST)

wiki ja

集合 A が集合 B の部分集合（ぶぶんしゅうごう、subset; 下位集合）であるとは、A が B の一部（あるいは全部）の要素だけからなることである。A が B の一部分であるという意味で部分集合という。二つの集合の一方が他方の部分集合であるとき、この二つの集合の間に包含関係があるという。

真部分集合のオイラー図による視覚化

定義

集合 A の要素はすべて集合 B の要素でもあるとき、すなわち、

が成り立つとき、A は B の部分集合であるといい、

で表す。A が B の部分集合であることを、「A は B に（部分集合として）含まれる（contained; 包含される）」、「A は B に包まれる（included; 包摂あるいは内包される）」などということもある。またこのとき、B は A の上位集合（じょういしゅうごう、superset; スーパーセット）であるということもある。A が集合 B の要素であることも「A が B に含まれる」と表現している文献が存在するため、単に「A が B に含まれる」と言ったときは、A ∈ B と A ⊆ B のどちらの意味で用いられているのかを文脈から判断することが必要である。

定義から任意の集合 B は自分自身の部分集合である。B 以外の集合で B の部分集合であるようなものは、B の真部分集合（しんぶぶんしゅうごう、proper subset）あるいは狭義（strict; 強い意味で）の部分集合と呼ばれる。すなわち、集合 A が集合 B の真部分集合であるとは、A ⊆ B かつ A ≠ B が成り立つことである。A が B の真部分集合であることを

で表す。

記法に関する注意

部分集合	真部分集合
A ⊆ B	A ⊂ B
A ⊂ B	A ⊊ B
A ⊆ B	A ⊆ A かつ A ≠ B
A ⊂ B	A ⊂ B かつ A ≠ B
A ⊆ B	A ⊊ B

上の定義においては、A が B の部分集合であることを A ⊆ B で表し、A が B の真部分集合であることを A ⊂ B で表した。実際、包含関係を順序と見なせば、x ≤ y かつ x ≠ y のとき x < y と記す慣例の類似で、A ⊂ B を A ⊆ B かつ A ≠ B であるという意味で用いることは自然である。しかし、これとは異なった記法もいくつか存在し、統一されていない。例えば、A が B の部分集合であることを A ⊂ B で表し、A が B の真部分集合であることを A ⊊ B で表すという流儀もあり、この記法も広く用いられている。この他にも、部分集合には ⊆ を用い、真部分集合には ⊂ かつ ≠ を用いるなど、さまざまなバリエーションがある（右表を参照）。部分集合であることを表すのに ⊆ 、真部分集合であることを表すのに ⊊ を用いると誤解を招く恐れがなくなるため、この記法も好まれる。

基本的な性質

以下、A, B, C を集合とする。

A = B と A ⊆ B かつ B ⊆ A は同値である（外延性の原理）。
空集合 ∅ はすべての集合の部分集合である。
A ⊆ A 。
A ⊆ B かつ B ⊆ C ならば A ⊆ C である。
A ⊆ A ∪ B 。
A ⊆ B ならば A ∪ C ⊆ B ∪ C 。
A ⊆ C かつ B ⊆ C ならば A ∪ B ⊆ C 。
A ∩ B ⊆ A 。
A ⊆ B ならば A ∩ C ⊆ B ∩ C 。
A ⊆ B かつ A ⊆ C ならば A ⊆ B ∩ C 。
A - B ⊆ A 。
A ⊆ B ならば A - C ⊆ B - C 。
A ⊆ B かつ A ⊆ C ^C ならば A ⊆ B - C 。
以下は同値である：
- A ⊆ B 。
- A ∩ B = A 。
- A ∪ B = B 。
- A − B = ∅ 。
A と B がともに U の部分集合のとき、A ⊆ B と U - B ⊆ U - A は同値である。

UpToDate Contents

全文を閲覧するには購読必要です。 To read the full text you will need to subscribe.

1. 感染症を繰り返す小児に対するアプローチ approach to the child with recurrent infections
2. 腎細胞癌の治療プロトコル treatment protocols for renal cell cancer
3. ヘルパーT細胞サブセット：疾患における分化および役割 t helper subsets differentiation and role in disease
4. 肛門癌の治療プロトコル treatment protocols for anal cancer
5. 小腸癌および大腸癌の治療プロトコル treatment protocols for small and large bowel cancer

Japanese Journal

<原著>乳がんの病期に伴う末梢血CD14^<high>CD16^＋単球の増加

山元奈穂,白川愛子,塩﨑均,綿谷正弘,義江修
近畿大学医学雑誌 36(2), 81-90, 2011-6
… 近年様々な疾患で，両者の中間型サブセットCD14^<high>CD16^+単球の増加が報告されている．今回，健常者と乳がん患者の末梢血中単球分画を比較した結果，組織型やHER2・ホルモンレセプターの発現の有無には関わらず，病期の進行した症例ではCD14^<high>CD16^+単球の有意な増加を認めた．ケモカインレセプター（CCR2， XCR4，CXCR7，CX_3CR1）の発現パターンからはCD14^<high>CD16^+単球はCD14^<high>CD16^-単球とCD14^<low …
NAID 120003222434

自動チューニング数理基盤ライブラリATMathCoreLib

須田礼仁
情報処理学会研究報告. [ハイパフォーマンスコンピューティング] 2011-HPC-129(14), 1-12, 2011-03-08
… ニング数理ライブラリを用いる.次に,上記4DACに基づいて構築された自動チューニング数理ライブラリATMathCoreLibを提案する.現在のATMathCoreLibは,オンライン自動チューニングのための線形モデル構築とワンステップ近似による実験計画を提供する.本論文では,ATMathCoreLibが仮定する4つのAを述べ,4つのCの実装の概略を説明する.また,ATMathCoreLibの基本的な使い方とともに,無限希釈,ランダムサブセット法への応用方法を説明する. …
NAID 110008583344

Related Pictures

★リンクテーブル★

リンク元	「subset」「部分集合」
拡張検索	「リンパ球サブセット」「B細胞サブセット」「T細胞サブセット」
関連記事	「セット」