Order Isomorphism

• Order Isomorphism #Card
  • A bijective order-preserving map $f$ such that $f^{-1}$ is also order-preserving.

Back

A bijective order-preserving map $f$ such that $f^{-1}$ is also order-preserving.

Lean

OrderIso α β (α ≃o β) / 本ノート prop_I_3_8_sSup,prop_I_3_8_sInf