翻訳と辞書
Words near each other
・ 上位概念
・ 上位概念、下位概念、同位概念および同一概念
・ 上位構造
・ 上位法優位の原則
・ 上位異物同名
・ 上位蜃気楼
・ 上位語
・ 上位運動ニューロン
・ 上位運動神経
・ 上位遺伝子
上位集合
・ 上位離脱脳
・ 上佐々駅
・ 上佐世保駅
・ 上佐束
・ 上体
・ 上体節
・ 上作
・ 上使
・ 上使街道


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

上位集合 : ウィキペディア日本語版
部分集合[ぶぶんしゅうごう]
集合 ''A'' が集合 ''B'' の部分集合(ぶぶんしゅうごう、subset; 下位集合)であるとは、''A'' が ''B'' の一部(あるいは全部)の要素だけからなることである。''A'' が ''B'' の一部分であるという意味で部分集合という。二つの集合の一方が他方の部分集合であるとき、この二つの集合の間に包含関係があるという。

== 定義 ==
集合 ''A'' の要素はすべて集合 ''B'' の要素でもあるとき、すなわち、
:\forall x (x\in A \rightarrow x\in B)
が成り立つとき、''A'' は ''B'' の部分集合であるといい、
:A\sube B
で表す。''A'' が ''B'' の部分集合であることを、「''A'' は ''B'' に(部分集合として)含まれる(; 包含される)」、「''A'' は ''B'' に包まれる(; 包摂あるいは内包される)」などということもある。またこのとき、''B'' は ''A'' の上位集合(じょういしゅうごう、; スーパーセット)であるということもある。''A'' が集合 ''B'' の要素であることも「''A'' が ''B'' に含まれる」と表現している文献が存在するため、単に「''A'' が ''B'' に含まれる」と言ったときは、''A'' ∈ ''B'' と ''A'' ⊆ ''B'' のどちらの意味で用いられているのかを文脈から判断することが必要である。
定義から任意の集合 ''B'' は自分自身の部分集合である。''B'' 以外の集合で ''B'' の部分集合であるようなものは、''B'' の真部分集合(しんぶぶんしゅうごう、)あるいは狭義(; 強い意味で)の部分集合と呼ばれる。すなわち、集合 ''A'' が集合 ''B'' の真部分集合であるとは、''A'' ⊆ ''B'' かつ ''A'' ≠ ''B'' が成り立つことである。''A'' が ''B'' の真部分集合であることを
:A\sub B
で表す。

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「部分集合」の詳細全文を読む

英語版ウィキペディアに対照対訳語「 Subset 」があります。



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.