Functions and partial orders
107659
Let $f:A \to B$ and $g:B\to A$ be arbitrary functions.
55328
Let $σ$ be the relation on $R×R$ in which $(a,b) σ (x,y)$ if and only if $a ≤ x$ and $b ≤ y$. Prove that $σ$ is a partial order relation.
17267
Interchanging the order of differentiation and summation
6632
Sequence of differentiable functions
146062
A "Cantor-Schroder-Bernstein" theorem for partially-ordered-sets
9848
Understanding the definition of the order of an entire function in Ahlfors's Complex Analysis
17343
Function on $[a,b]$ that satisfies a Hölder condition of order $\alpha > 1 $ is constant
145785
Sets of functions closed within composition.
120522
Showing any countable, dense, linear ordering is isomorphic to a subset of $\mathbb{Q}$
26928
Partial type inference
35868
Elementary properties of closure
138279
Multiplicative order and powers
158282
Finite order of an element $f(g)$ of a homomorphism $f$
74377
Is the natural order relation on an idempotent semiring total/linear?
24126
When functions commute under composition
110142
1-1 Function Composition
52861
Natural Numbers and Well ordering