/sci/ - Science & Math

>>15283598
In what theory?
What's a trivial injection?
Clearly the naturals N nicely inject into any infinite ordinal, so assuming Schröder-Bernstein only countable ordinals can inject into N.
If you don't adopt the axiom of infinity, then you can make N the class of all ordinals, and then the answer is yes for a class function.