What is surjective comparability equivalent to?
113065
Proving equivalences of statements equivalent to AC
108045
Show that are logically equivalent
1561
Comparing two collections for equality irrespective of the order of items in them
133083
Injectivity and surjectivity of a recursive function
38242
Explicit bijection between the successor of $\alpha$ and $\alpha$ (infinite ordinal).
153634
A statment about the equivalence between the Axiom of Choice and the surjectivity of the projections.
58023
What is the purpose of a function being surjective?
20030
Is an equivalence an adjunction?
149631
Math-like chaining of the comparison operator - as in, "if ( (5<j<=1) )"
68244
Is ∅ equivalent to {∅}?
102827
When do surjections split in ZF? Two surjections imply bijection?
6023
Surjectivity of Composition of Surjective Functions
13193
Does a inverse function need to be either surjective or injective?
146967
Understanding equivalent metric spaces
10679
Equivalence of Categories and of Their Functor Categories
107400
Can there be an injective function whose derivative is equivalent to its inverse function?
126881
(weak) homotopy equivalence