# Category:Surjections

Jump to navigation
Jump to search

This category contains results about **Surjections**.

Definitions specific to this category can be found in **Definitions/Surjections**.

Let $f: S \to T$ be a mapping from $S$ to $T$.

$f: S \to T$ is a **surjection** if and only if:

- $\forall y \in T: \exists x \in \Dom f: \map f x = y$

That is, if and only if $f$ is right-total.

## Subcategories

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

## Pages in category "Surjections"

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

### C

- Cantor's Theorem
- Cardinality of Codomain of Surjection
- Cardinality of Set of Induced Equivalence Classes of Surjection
- Cardinality of Set of Surjections
- Compactness is Preserved under Continuous Surjection
- Compactness Properties Preserved under Continuous Surjection
- Composite of Injection on Surjection is not necessarily Either
- Composite of Surjection on Injection is not necessarily Either
- Composite of Surjections is Surjection
- Composite of Three Mappings in Cycle forming Injections and Surjection
- Condition for Composite Mapping to be Identity
- Condition for Mapping from Quotient Set to be Surjection
- Countability Axioms Preserved under Open Continuous Surjection
- Countable Compactness is Preserved under Continuous Surjection

### E

### F

### I

- Identity Mapping is Surjection
- Image of Empty Set is Empty Set/Corollary 2
- Image of Preimage of Subset under Surjection equals Subset
- Inclusion Mapping is Surjection iff Identity
- Injection from Finite Set to Itself is Surjection
- Injection has Surjective Left Inverse Mapping
- Inverse Image Mapping of Injection is Surjection
- Inverse of Surjection is Relation both Left-Total and Right-Total

### M

- Mapping from Finite Set to Itself is Injection iff Surjection
- Mapping is Injection and Surjection iff Inverse is Mapping
- Mapping is Surjection iff Direct Image Mapping is Surjection
- Mapping to Image is Surjection
- Mapping to Singleton is Surjection
- Mappings in Product of Sets are Surjections
- Mappings in Product of Sets are Surjections/Family of Sets

### O

### P

### S

- Second-Countability is Preserved under Open Continuous Surjection
- Sequential Compactness is Preserved under Continuous Surjection
- Set Finite iff Surjection from Initial Segment of Natural Numbers
- Sigma-Compactness is Preserved under Continuous Surjection
- Subset equals Image of Preimage iff Mapping is Surjection
- Subset equals Image of Preimage implies Surjection
- Successor Mapping on Natural Numbers is not Surjection
- Surjection from Countably Infinite Set iff Countable
- Surjection from Finite Set to Itself is Permutation
- Surjection from Natural Numbers iff Countable
- Surjection from Natural Numbers iff Countable/Corollary 1
- Surjection from Natural Numbers iff Countable/Corollary 2
- Surjection from Natural Numbers iff Right Inverse
- Surjection if Composite is Surjection
- Surjection iff Cardinal Inequality
- Surjection iff Epimorphism in Category of Sets
- Surjection iff Right Cancellable
- Surjection iff Right Inverse
- Surjection Induced by Powerset is Induced by Surjection
- Surjective Restriction of Inclusion is Identity
- Surjective Restriction of Real Exponential Function