summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--zh-cn/set-theory-cn.html.markdown20
1 files changed, 10 insertions, 10 deletions
diff --git a/zh-cn/set-theory-cn.html.markdown b/zh-cn/set-theory-cn.html.markdown
index 214e2f1c..b5a3e804 100644
--- a/zh-cn/set-theory-cn.html.markdown
+++ b/zh-cn/set-theory-cn.html.markdown
@@ -17,18 +17,18 @@ lang: zh-cn
* 并运算符,`∪`,表示“或”;
* 交运算符,`∩`,表示“且”;
* 差运算符,`\`,表示“不包括”;
-* 补运算符, `'`,表示补集;
+* 补运算符,`'`,表示补集;
* 叉积运算符,`×`,表示笛卡尔积。
### 限定词
-* 冒号限定词, `:`,表示“使得”;
+* 冒号限定词,`:`,表示“使得”;
* 从属限定词,`∈`,表示“属于”;
-* 子集限定词, `⊆`, 表示“是……的子集”;
-* 真子集限定词, `⊂`,表示“是……的真子集”。
+* 子集限定词,`⊆`,表示“是……的子集”;
+* 真子集限定词,`⊂`,表示“是……的真子集”。
### 重要的集合
-* `∅`, 空集,即不包含任何元素的集合;
+* `∅`,空集,即不包含任何元素的集合;
* `ℕ`,自然数集;
* `ℤ`,整数集;
* `ℚ`,有理数集;
@@ -49,7 +49,7 @@ lang: zh-cn
* 可以在集合符号中使用不成立的条件来构造空集,例如,`∅ = { x : x ≠ x }`,或 `∅ = { x : x ∈ N, x < 0 }`;
* 空集总是唯一的(即,有且只有一个空集);
* 空集是所有集合的子集;
-* 空集的基数为 0,即, `|∅| = 0`。
+* 空集的基数为 0,即 `|∅| = 0`。
## 集合的表示
@@ -69,7 +69,7 @@ B = { x : x ∈ N, x < 10 } = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 }
C = { x : x = 2k, k ∈ N } = { 0, 2, 4, 6, 8, ... }
```
-有时,谓语可能会 "漏 "到主语中,例如,
+有时,谓词可能会 "漏 "到主语中,例如,
```
D = { 2x : x ∈ N } = { 0, 2, 4, 6, 8, ... }
@@ -85,9 +85,9 @@ D = { 2x : x ∈ N } = { 0, 2, 4, 6, 8, ... }
### 相等关系
* 如果两个集合包括相同的项,那么我们说这两个集合相等,例如,`A = B`。
-* 集合的相等关系于顺序无关,例如, `{ 1, 2, 3, 4 } = { 2, 3, 1, 4 }`。
-* 集合中的元素不能重复, e.g. `{ 1, 2, 2, 3, 4, 3, 4, 2 } = { 1, 2, 3, 4 }`。
-* 集合 `A` 与 `B` 相等当且仅当`A ⊆ B` 且 `B ⊆ A`。
+* 集合的相等关系于顺序无关,例如 `{ 1, 2, 3, 4 } = { 2, 3, 1, 4 }`。
+* 集合中的元素不能重复,例如 `{ 1, 2, 2, 3, 4, 3, 4, 2 } = { 1, 2, 3, 4 }`。
+* 集合 `A` 与 `B` 相等当且仅当 `A ⊆ B` 且 `B ⊆ A`。
## 特殊集合