I'm struggling with my homework:
Let $\gamma,\theta$ be order types. Then, $\gamma<\theta$ iff $\gamma\in\theta$.
I already proved that if $\gamma\in\theta$, then $\gamma<\theta$. To do the other implication, I thought of using contradiction and proceeding by trichotomy, but I don't see what to do next. :/