I been trying to find a total ordering on , the set of all functions from . This cardinality of this set is . I tried a few ideas and they all failed. I happen to know a total ordering exists by the axiom of choice (this is correct, right?). But I am trying to find an explicit ordering on this set for a counterexample.