真部分集合

デジタル大辞泉

しん‐ぶぶんしゅうごう〔‐ブブンシフガフ〕【真部分集合】

読み方：しんぶぶんしゅうごう

集合Aの部分集合の中で、Aに一致しないもの。

算数用語集・数学用語集

真部分集合

集合Ａの要素がすべて集合Ｂの要素になっていて、ＢにはＡの要素以外の要素があるとき、ＡはＢの真部分集合という。

参考

• 集合
• 部分集合

ウィキペディア

部分集合

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2025/06/30 08:56 UTC 版)

部分集合（ぶぶんしゅうごう、英: subset）とは数学における概念の一つ。

集合Aが集合Bの部分集合であるとは、AがBの一部の要素だけからなることである。AがBの一部分であるという意味で部分集合という。二つの集合の一方が他方の部分集合であるとき、この二つの集合の間に包含関係があるという。

定義

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

$\forall x(x\in A\rightarrow x\in B)$ カテゴリ

ウィキペディア小見出し辞書

真部分集合

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/10/07 22:59 UTC 版)

「集合間の関係を表す記号」の記事における「真部分集合」の解説

⊂ ⊃ ⊊ ⊋ 真部分集合の関係を表す場合には「⊂」と「⊃」。日本の高校数学のごとく部分集合に「⊂」を使う流儀の場合、「⊊」と「⊋」を真部分集合に用いることがある（ただし前述の高校数学において真部分集合に対応する記号は存在しない）。 Aの真部分集合がBである場合 A ⊃ B ( A ⊋ B ) あるいは B ⊂ A( B ⊊ A ) のようにあらわす。