Is every homeomorphism between topological spaces an order isomorphism (for orders of inclusion $\subseteq$ of sets)?
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.
Here's how it works:
- Anybody can ask a question
- Anybody can answer
- The best answers are voted up and rise to the top
Every bijection $f \colon X\to Y$ induces an order-isomorphism between $(\mathcal P(X),\subseteq)$ and $(\mathcal P(Y),\subseteq)$.
This follows easily from the following two observations: