Suppose is a well-ordered set. Let . Find an explicit linear order on .
So I have to prove reflexivity, antisymmetry, transitivity and that B is linear. Thing is I cant really get my head around what actually is... Set of functions from A to . But A is well ordered... So how does that change things?
Does this involve creating an in/bijection between B and some well ordered set?