[1] ある[[集合]]の[DFN[[RUBYB[[[部分集合]]]@en[subset]]]] ([DFN[[[サブセット]]]]) とは、
元の[[集合]]の一部または全部を含み、それ以外を含まない[[集合]]です。

* 空集合

[2] 普通、[[空集合]]は任意の[[集合]]の[[部分集合]]と考えます。

[4] 元の[[集合]]自体も[[部分集合]]と考えるのが一般的です。

* 「部分集合」を含む用語

[3] [[部分集合]]は色々な用語の一部として使われています。

[FIG(short list)[
- [[文書部分集合]]
-- [[外部部分集合]]
-- [[内部部分集合]]
- [[有限部分集合]]
- [[無限部分集合]]
]FIG]

* 関連

[6] [[有限集合]]たる[[部分集合]]を[[有限部分集合]]、
[[無限集合]]たる[[部分集合]]を[[無限部分集合]]といいます。

[5] [[部分集合]]から見た元の[[集合]]を、[[超集合]]といいます。

* メモ