We work in the NBG set theory (with local choice, but without global choice).

$V=\{x∣x=x\}$ is the universal class and $\emptyset=\{x∣ not x=x\}$ is the empty class. Every class $A$ satisfies $A\subseteq V$; $A$ is a proper class if $A\notin V$ and a set if $A\in V$. For every class the power set of $A$ is $P(A)=\{x∣x\subseteq A\}$. We write $AbB$ if we can prove the existence of a (maybe class) function that is bijective between $A$ and $B$. By replacement there can be no bijection between a set and a proper class. We name Cardinal level an equivalence class of classes for the relation $i$ on the collection of all classes, where Cardinal level is an i-equivalence level with only sets and Proper Cardinal level is an $i$-equivalence level with only proper classes. $A^*$ is the the $i$-equivalence level of the class $A$.

We write $A^*JB^*$ if every class in $A^*$ injects into every class in $B^*$. For every set $x$ and every proper class $A$ we have $x^*JA^*$. The relation $J$ is reflexive and transitive. Moreover, the Cantor-Bernstein theorem extended to classes proves that $J$ is antisymmetric and thus an order relation, where $V^*$ is maximal and $\emptyset^*$ is minimal, and whose restriction to cardinal levels is a linear order.

We write $A^*SB^*$ if every class in $A^*$ surjects onto every class in $B^*$. The relation $S$ is reflexive and transitive and thus a preorder. Moreover, from every injection from $A$ into $B$ we can build a surjection from $B$ onto $A$ (we remark that the empty function is an injection from $\emptyset$ into every class and a surjection from every class onto $\emptyset$), so that $A^*JB^*$ implies $B^*SA^*$ and $S$ is finer that the converse relation of $J.V^*$ is minimal and $\emptyset^*$ is maximal in $S$, whose restriction to cardinal levels is the opposite linear order of the restriction of $J$.

With the global choice axiom every pair of classes is bijective (specifically $\mathrm{On}$ and $V$), so that we only have one unique Proper Cardinal level. In fact if every pair of classes is bijective, the axiom of global choice holds. So without global choice we must have at least two Proper Cardinal levels, specifically $\mathrm{On}^*$ (that is the level of all well-orderable proper classes) and $V^*$ (that is the level of all proper classes verifying $P(A)=A$), so that $V^*J \mathrm{On}^*$ is false.

For every ordinal number $a$, using the axiom of foundation, let now $V(a)$ be the set of all sets whose rank is $\leq a$, $W(a)$ be the set of all well-orders on $V(a)$ and $W$ be the proper class that is the union of the sets $W(a)$ indexed by $\mathrm{On}$. J. D. Hamkins proved that there is no injection from $W$ into $\mathrm{On}$ and no injection of $V$ into $W$, so that $W^*$ is necessarily a third distinct Proper Class level and that $J$ cannot be a linear order relation.

But the function $F$ from $W$ onto $\mathrm{On}$ defined by $w\in W(a)\Rightarrow F(w)=a$ is clearly a surjection, so that the restriction of $S$ to $V^*$, $W^*$ and $\mathrm{On}^*$ is linear order.

**Question:** Is it possible to build an injection from $\mathrm{On}$ into $W$ without global choice?