「部分集合」の版間の差分

で表す{{sfn|Devlin|1993|p={{google books quote|id=hCv-vFu4jskC|page=3|3}}}}。''A'' が ''B'' の部分集合であることを、「''A'' は ''B'' に（部分集合として）含まれる（{{lang|en|contained}}; 包含される）」、「''A'' は ''B'' に包まれる（{{lang|en|included}}; 包摂あるいは内包される）」などということもある。またこのとき、''B'' は ''A'' の'''上位集合'''（じょういしゅうごう、{{lang|en|superset}}; スーパーセット）であるということもある。''A'' が集合 ''B'' の要素であることである。''B'' 以外の集合で ''B'' の部分集合であるようなものは、''B'' の'''真部分集合'''（しんぶぶんしゅうごう、{{lang|en|proper subset}}）あるいは'''狭義'''（{{lang|en|strict}}; 強い意味で）'''の部分集合'''と呼ばれる。すなわち、集合 ''A'' が集合 ''B'' の真部分集合であるとは、''A'' ⊆ ''B'' かつ ''A'' ≠ ''B'' が成り立つことである。''A'' が ''B'' の真部分集合であることを