Order preserving injections between well ordered sets imply isomorphism
115649
Proving two sets $A, B$ are order isomorphic
22482
How can an ordered pair be expressed as a set?
40937
Is the set of partial order relations over $ \mathbb{N}$ countable?
115100
Operator Ordering Ambiguities
131163
There is a well ordering of the class of all finite sequences of ordinals
75944
Overlapping pure functions
127233
Cardinality of order types in $\mathbb{N}$
106799
Proof Verification: Converse of Intermediate Value Theorem
91281
Proving the so-called "Well Ordering Principle"
65910
Reflexivity of equivalence relations
136284
Orderless pattern matching
89506
Union of disjoint sets : Equivalence relations
77548
Given an arbitrary infinite set $S$, how to construct an injection $\mathbb{N} \to S$ with the Axiom of Choice?
143517
Isomorphisms Between a Finite-Dimensional Vector Space and its Dual
70645
Borel set preserved by continuous map
35972
Well ordering principle for rationals
134458
Isomorphisms preserving integral domains and fields