# Category:Subsets

Jump to navigation
Jump to search

This category contains results about Subsets.

Definitions specific to this category can be found in Definitions/Subsets.

Let $S$ and $T$ be sets.

$S$ is a **subset** of a set $T$ if and only if all of the elements of $S$ are also elements of $T$.

This is denoted:

- $S \subseteq T$

That is:

- $S \subseteq T \iff \forall x: \paren {x \in S \implies x \in T}$

If the elements of $S$ are not all also elements of $T$, then $S$ is not a **subset** of $T$:

- $S \nsubseteq T$ means $\neg \paren {S \subseteq T}$

## Subcategories

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

### E

### I

### O

### S

### U

## Pages in category "Subsets"

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

### C

- Cardinality of Proper Subset of Finite Set
- Cardinality of Subset of Finite Set
- Cartesian Product of Subsets
- Cartesian Product of Subsets/Corollary 1
- Cartesian Product of Subsets/Corollary 2
- Cartesian Product of Subsets/Corollary 3
- Complement of Relative Complement is Union with Complement
- Complement Relative to Subset is Subset of Complement Relative to Superset
- Complement Union with Superset is Universe
- Complement Union with Superset is Universe/Corollary
- Cycle of Subsets implies Set Equality

### E

### I

- Image of Subset under Mapping is Subset of Image
- Image of Subset under Relation is Subset of Image
- Image of Subset under Relation is Subset of Image/Corollary 1
- Image of Subset under Relation is Subset of Image/Corollary 3
- Image Preserves Subsets
- Infinite Set has Countably Infinite Subset
- Interior of Subset
- Intersection is Largest Subset
- Intersection is Largest Subset/Family of Sets
- Intersection is Largest Subset/General Result
- Intersection is Subset
- Intersection is Subset/Family of Sets
- Intersection is Subset/General Result
- Intersection of Family is Subset of Intersection of Subset of Family
- Intersection of Subsets is Subset/Set of Sets
- Intersection with Complement is Empty iff Subset
- Intersection with Subset is Subset
- Inverse of Subset of Relation is Subset of Inverse

### P

### S

- Set Complement inverts Subsets
- Set Complement inverts Subsets/Corollary
- Set Difference is Subset
- Set Difference with Proper Subset
- Set Difference with Superset is Empty Set
- Set Inequality
- Set Intersection Preserves Subsets
- Set is Equivalent to Proper Subset of Power Set
- Set is Subset of Intersection of Supersets
- Set is Subset of Itself
- Set is Subset of Union
- Set is Subset of Union/Family of Sets
- Set is Subset of Union/General Result
- Set is Subset of Union/Set of Sets
- Set of Finite Subsets of Countable Set is Countable
- Set Union Preserves Subsets
- Singleton Equality
- Singleton of Element is Subset
- Singleton of Subset is Element of Powerset of Powerset
- Subset equals Preimage of Image iff Mapping is Injection
- Subset equals Preimage of Image implies Injection
- Subset Equivalences
- Subset in Subsets
- Subset Maps to Subset
- Subset of Countable Set is Countable
- Subset of Countably Infinite Set is Countable
- Subset of Finite Set is Finite
- Subset of Naturals is Finite iff Bounded
- Subset of Preimage under Relation is Preimage of Subset
- Subset of Preimage under Relation is Preimage of Subset/Corollary
- Subset of Set with Propositional Function
- Subset Relation is Antisymmetric
- Subset Relation is Ordering
- Subset Relation is Ordering/General Result
- Subset Relation is Transitive
- Subset Relation on Power Set is Partial Ordering
- Subsets in Increasing Union
- Subsets of Disjoint Sets are Disjoint

### U

- Union is Smallest Superset
- Union is Smallest Superset/Family of Sets
- Union is Smallest Superset/General Result
- Union is Smallest Superset/Set of Sets
- Union of Power Sets
- Union of Power Sets not always Equal to Powerset of Union
- Union of Subset of Family is Subset of Union of Family
- Union of Subsets is Subset
- Union of Subsets is Subset/Subset of Power Set
- Union with Empty Set
- Union with Intersection equals Intersection with Union iff Subset
- Union with Superset is Superset