# Category:Set Theory

Jump to navigation
Jump to search

This category contains results about **Set Theory**.

Definitions specific to this category can be found in Definitions/Set Theory.

**Set Theory** is the branch of mathematics which studies sets.

## Subcategories

This category has the following 107 subcategories, out of 107 total.

### A

- Aleph Mapping (11 P)

### B

- Binary Messes (1 P)

### C

- Cantor's Theory of Sets (empty)
- Characteristic Functions of Sets (empty)
- Combinations with Repetition (1 P)
- Combinatorial Set Theory (empty)
- Comparable Sets (1 P)
- Continuum Hypothesis (4 P)

### D

- Disjoint Unions (1 P)

### E

- Elements (empty)
- Enumerations (empty)
- Examples in Set Theory (10 P)
- Exists Element Not in Set (3 P)

### F

- Fuzzy Set Theory (1 P)

### H

- Hall's Marriage Theorem (4 P)
- Hartogs' Lemma (Set Theory) (3 P)

### I

- Infinity (empty)
- Inner Model Theory (1 P)
- Intersecting Sets (empty)

### L

### M

- Membership Relation (3 P)

### N

### O

- Order-Extension Principle (3 P)
- Ordered Pairs (5 P)
- Ordering Principle (3 P)
- Ordinary Sets (4 P)

### P

### Q

### R

### S

- Smaller Set (empty)

### T

- Transfinite Arithmetic (4 P)

### U

- Ultrafilter Lemma (5 P)
- Uncountable (empty)
- Universe (9 P)

### V

## Pages in category "Set Theory"

The following 87 pages are in this category, out of 87 total.

### C

- Cantor-Bernstein-Schröder Theorem
- Cardinality Less One
- Cardinality of Finite Set is Well-Defined
- Cardinality of Integer Interval
- Cardinality of Proper Subset of Finite Set
- Cardinality of Subset of Finite Set
- Cardinality of Subset Relation on Power Set of Finite Set
- Cartesian Product of Countable Sets is Countable
- Cartesian Product of Natural Numbers with Itself is Countable
- Complex Numbers are Uncountable
- Continuum Hypothesis
- Correspondence Theorem (Set Theory)
- Cowen-Engeler Lemma

### D

### E

### F

### I

### O

### S

- Set Equality is Equivalence Relation
- Set Equation: Intersection
- Set Equation: Union
- Set Finite iff Injection to Initial Segment of Natural Numbers
- Set Finite iff Surjection from Initial Segment of Natural Numbers
- Set Inequality
- Set is Equivalent to Image under Injection
- Set is Small Class
- Set of Subsets is Cover iff Set of Complements is Free
- Singleton Equality
- Skolem's Paradox
- Smallest Set is Unique
- Smallest Set may not Exist
- Strictly Well-Founded Relation has no Relational Loops
- Substitution of Elements
- Substitutivity of Equality
- Superset of Co-Countable Set
- Superset of Infinite Set is Infinite