WordNet

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

PrepTutorEJDIC

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

Wikipedia preview

出典(authority):フリー百科事典『ウィキペディア（Wikipedia）』「2013/12/21 10:14:42」(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 は同値である。

Japanese Journal

定理証明器によって証明されたCプログラムのマージャ

後藤裕貴,高橋和子
情報処理学会論文誌. プログラミング 6(2), 103, 2013-08-29
… れは,与えられた2つのCプログラムのソースコードに対し,それらを併合し,いくつかの最適化を施したCプログラムソースコードを出力するマージシステムである.また,ここで扱うCプログラムは実際のC言語の部分集合である.本システムの主要部分はIsabelle/HOLで記述し証明しており,フロントエンドとバックエンドはCプログラムで実装している.本システムは,フロントエンドとバックエンドを備えることで,定理証明器に不慣 …
NAID 110009602863

楽曲パート混合オーディオ同士の楽譜なしアライメント手法

前澤陽 ,奥乃博
情報処理学会研究報告. [音楽情報科学] 2013-MUS-100(14), 1-6, 2013-08-24
… なる音響信号群を構成するスペクトルテンプレートの集合,(2) スペクトルテンプレート組合せの時系列,(3) 各音響信号で出現する (2) の構成要素-で表現する.具体的には,時系列は Left-oright 隠れマルコフモデル (LRHMM) を用い,集合の部分集合の概念を階層ディリクレ過程で表現し,スペクトルテンプレートを多項分布として表現する.評価実験から,提案手法は,演奏されるパートの違いに対して,ロバストであることが示された. …
NAID 110009599043

ターミナル数5の成分素シュタイナー木最大化問題に対する近似アルゴリズム

星加大輝,宮野英次
情報処理学会研究報告. AL, アルゴリズム研究会報告 2013-AL-144(2), 1-6, 2013-05-10
… 本稿では,成分素なシュタイナー木の最大埋め込み問題(以下では成分素なMaxPST問題と呼ぶ)を考える.無向グラフG = (V,E)と頂点部分集合であるターミナル集合T⊂=Vについて,Tのすべての頂点を含むGの非巡回連結部分グラフをシュタイナー木と呼ぶ.成分素なMaxPST問題の目標は,グラフGとターミナル集合Tが与えられた時,できるだけ多くの成分素なシュタイナー木を見つけることである.本稿では,ターミナル数|T|が5以下の場合に …
NAID 110009579678