\alpha < \beta \leftrightarrow \alpha \in \beta