Search for question
Question

x_{1} \leq x x_{2} \Longleftrightarrow f\left(x_{1}\right) \leq y f\left(x_{2}\right) 4. Let X and Y be sets, let Sy be a linear order on Y , and let f : X

→ Y be an injective function.Define a binary relation <= x on X by \text { for } x_{1}, x_{2} \in X \text { . } (a) (6 points) Prove that <= x is a linear order on X. \text { (b) (6 points) Suppose that every nonempty } B \subseteq Y \text { has a } \leq \text { -least element. Prove that every } \text { nonempty } A \subseteq X \text { has a } \leq x \text { -least element. }

Fig: 1

Fig: 2

Fig: 3

Fig: 4

Fig: 5

Fig: 6