更多操作
无编辑摘要 |
小 →子集 |
||
| 第83行： | 第83行： | ||
如果 <math>A \subseteq B</math> 但是 <math>A \neq B</math>，就说 A 是 B 的'''真子集'''，记作：<math>A \subsetneqq B</math>，读作：'''A 真包含于 B'''. 例如，<math>(1, 6) \subsetneqq [1, 6]</math>. | 如果 <math>A \subseteq B</math> 但是 <math>A \neq B</math>，就说 A 是 B 的'''真子集'''，记作：<math>A \subsetneqq B</math>，读作：'''A 真包含于 B'''. 例如，<math>(1, 6) \subsetneqq [1, 6]</math>. | ||
包含关系还有传递性： | |||
# 若 <math>A \subseteq B</math>，<math>B \subseteq C</math>，则 <math>A \subseteq C</math>； | |||
# 若 <math>A \subsetneqq B</math>，<math>B \subseteq C</math>，则 <math>A \subseteq C</math>； | |||
等等. | |||
== 补集 == | == 补集 == | ||
[[category:数学]] | [[category:数学]] | ||