summaryrefslogtreecommitdiffhomepage
path: root/set-theory.html.markdown
diff options
context:
space:
mode:
Diffstat (limited to 'set-theory.html.markdown')
-rw-r--r--set-theory.html.markdown4
1 files changed, 2 insertions, 2 deletions
diff --git a/set-theory.html.markdown b/set-theory.html.markdown
index 6fb657ed..6be7aa00 100644
--- a/set-theory.html.markdown
+++ b/set-theory.html.markdown
@@ -44,7 +44,7 @@ For example, if `S = { 1, 2, 4 }`, then `|S| = 3`.
* The empty set can be constructed in set builder notation using impossible conditions, e.g. `∅ = { x : x =/= x }`, or `∅ = { x : x ∈ N, x < 0 }`;
* the empty set is always unique (i.e. there is one and only one empty set);
* the empty set is a subset of all sets;
-* the cardinality of the empty set is 1, i.e. `|∅| = 1`.
+* the cardinality of the empty set is 0, i.e. `|∅| = 0`.
## Representing sets
@@ -82,7 +82,7 @@ D = { 2x : x ∈ N } = { 0, 2, 4, 6, 8, ... }
* If two sets contain the same items then we say the sets are equal, e.g. `A = B`.
* Order does not matter when determining set equality, e.g. `{ 1, 2, 3, 4 } = { 2, 3, 1, 4 }`.
* Sets are disjoint, meaning elements cannot be repeated, e.g. `{ 1, 2, 2, 3, 4, 3, 4, 2 } = { 1, 2, 3, 4 }`.
-* Two sets `A` and `B` are equal if and only if `A ⊂ B` and `B ⊂ A`.
+* Two sets `A` and `B` are equal if and only if `A ⊆ B` and `B ⊆ A`.
## Special Sets