# Category:Empty Set

Jump to navigation
Jump to search

This category contains results about the empty set.

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

The **empty set** is a set which has no elements.

That is, $x \in \O$ is false, whatever $x$ is.

## Subcategories

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

### E

### U

## Pages in category "Empty Set"

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

### C

- Cardinality of Empty Set
- Cartesian Product is Empty iff Factor is Empty
- Cartesian Product is Empty iff Factor is Empty/Family of Sets
- Cartesian Product of Family is Empty iff Factor is Empty
- Closure of Empty Set is Empty Set
- Collection of Sets Equivalent to Set Containing Empty Set is Proper Class
- Complement of Empty Set is Universe
- Complement of Universe is Empty Set
- Complement Union with Superset is Universe
- Complement Union with Superset is Universe/Corollary

### E

- Empty Intersection iff Subset of Complement
- Empty Intersection iff Subset of Relative Complement
- Empty Mapping is Injective
- Empty Mapping is Mapping
- Empty Mapping is Unique
- Empty Mapping to Empty Set is Bijective
- Empty Set as Subset
- Empty Set can be Derived from Comprehension Principle
- Empty Set Disjoint with Itself
- Empty Set from Principle of Non-Contradiction
- Empty Set is Closed
- Empty Set is Closed in Metric Space
- Empty Set is Closed in Normed Vector Space
- Empty Set is Closed in Topological Space
- Empty Set is Compact Space
- Empty Set is Countable
- Empty Set is Element of Power Set
- Empty Set is Element of Topology
- Empty Set is Initial Object
- Empty Set is Linearly Independent
- Empty Set is Nowhere Dense
- Empty Set is Null Set
- Empty Set is Open
- Empty Set is Open and Closed in Metric Space
- Empty Set is Open in Metric Space
- Empty Set is Open in Neighborhood Space
- Empty Set is Open in Normed Vector Space
- Empty Set is Subset of All Sets
- Empty Set is Subset of Power Set
- Empty Set is Unique
- Empty Set Satisfies Topology Axioms
- Equivalence Class is not Empty
- Equivalence of Definitions of Empty Set

### I

- Identity of Power Set with Union
- Image of Empty Set is Empty Set
- Image of Empty Set is Empty Set/Corollary
- Infimum of Empty Set is Greatest Element
- Infimum of Power Set
- Intersection is Empty and Union is Universe if Sets are Complementary
- Intersection of Elements of Power Set
- Intersection with Complement
- Intersection with Complement is Empty iff Subset
- Intersection with Empty Set

### R

### S

- Set Consisting of Empty Set is not Empty
- Set Difference Equals First Set iff Empty Intersection
- Set Difference is Anticommutative
- Set Difference of Intersection with Set is Empty Set
- Set Difference with Empty Set is Self
- Set Difference with Intersection
- Set Difference with Self is Empty Set
- Set Difference with Superset is Empty Set
- Singleton Class of Empty Set is Supercomplete
- Subset of Empty Set
- Subset of Empty Set iff Empty
- Supremum of Empty Set is Smallest Element
- Symmetric Difference of Equal Sets
- Symmetric Difference with Empty Set
- Symmetric Difference with Self is Empty Set