eggy/eifueo
1
1
Fork 1
Code Issues 2 Pull Requests Releases Wiki Activity

ece108: countably infinite fns are bijective

Browse Source
This commit is contained in:
eggy 2023-02-13 16:25:29 -05:00
parent 1034a3a350
commit a5041f349a
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docs/1b/ece108.md
View File

@ -600,7 +600,7 @@ If $f: X\to Y$ and $g: Y\to Z$ are bijective:
## Cardinality ## Cardinality
!!! definition !!! definition
- A **countably infinite** set is such that there exists a function that maps the set to the set of natural numbers. - A **countably infinite** set is such that there exists a **bijective** function that maps the set to the set of natural numbers.
- A **countable** set is a finite set or a countably infinite set. - A **countable** set is a finite set or a countably infinite set.
- An **uncountable** or **uncountably infinite** set is not countable. - An **uncountable** or **uncountably infinite** set is not countable.