Category:Countable Sets
Jump to navigation
Jump to search
This category contains results about Countable Sets.
Definitions specific to this category can be found in Definitions/Countable Sets.
$S$ is countable if and only if there exists an injection:
- $f: S \to \N$
Subcategories
This category has the following 7 subcategories, out of 7 total.
Pages in category "Countable Sets"
The following 44 pages are in this category, out of 44 total.
C
- Cartesian Product of Countable Sets is Countable
- Cartesian Product of Natural Numbers with Itself is Countable
- Countable iff Cardinality not greater than Aleph Zero
- Countable Set equals Range of Sequence
- Countable Set has Choice Function
- Countable Set is Well-Orderable
- Countable Space is Separable
- Countable Union of Countable Sets is Countable
- Countably Infinite Set in Countably Compact Space has Omega-Accumulation Point
E
I
S
- Set is Countable if Cardinality equals Cardinality of Countable Set
- Set is Countable iff Cardinality not greater Aleph Zero
- Set of Even Integers is Countably Infinite
- Set of Finite Strings is Countably Infinite
- Set of Finite Subsets of Countable Set is Countable
- Set of Finitely Supported Functions on Integers is Countable
- Set of Infinite Sequences is Uncountable
- Set of Local Minimum is Countable
- Set of Odd Integers is Countably Infinite
- Set of Ordered Pairs of Integers is Countable Infinite
- Set of Pairwise Disjoint Intervals is Countable
- Set of Subsets of Finite Character of Countable Set is of Type M
- Set which is Equivalent to Countable Set is Countable
- Subset of Countable Set is Countable
- Subset of Countably Infinite Set is Countable
- Surjection from Countably Infinite Set iff Countable
- Surjection from Natural Numbers iff Countable
- Surjection from Natural Numbers iff Countable/Corollary 1
- Surjection from Natural Numbers iff Countable/Corollary 2