diff options
author | 谭九鼎 <109224573@qq.com> | 2021-08-08 13:09:40 +0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-08-08 13:09:40 +0800 |
commit | 8982bdd3056d0468f0035feb5cad9a32607ea9a5 (patch) | |
tree | 941c46a170b966e1ed54118fcacb9d2d79f15925 | |
parent | a838d22da8a5519c4009a2be7c547c36e98d28cc (diff) |
fix some issue
Co-authored-by: woclass <wo@wo-class.cn>
-rw-r--r-- | zh-cn/set-theory-cn.html.markdown | 20 |
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`。 ## 特殊集合 |