# An infinite cardinal agrees with all its well-orders on sets of full size.

Suppose $\kappa$ is an infinite von Neumann cardinal (well ordered by $\in$), and take ${<}$ a well-order on $\kappa$. Does there necessarily exists a subset $X\subset\kappa$ of full size (in bijective correspondence with $\kappa$ as a set) on which $<\upharpoonright X^2=\in\upharpoonright X^2$ (i.e. ${<}$ and ${\in}$ agree on $X$)?

Attempt:

Taking $(\kappa, <)\approx_f(\alpha, \in)$, where $f$ is an order-isomorphism and $\alpha$ is an ordinal yields $\alpha\in\kappa$ or $\alpha=\kappa$ (since $\kappa$ is the least ordinal order-isomorphic to a well order on $\kappa$). I feel something like $X=f^{-1}(\alpha)$ should work, but I don't see how I'm using that $\kappa$ is infinite in such a proof, and the statement is clearly false for finite cardinals. I guess this problem could be put "the collection of fixed points of $f$ has the same cardinality as $\kappa$"?

-