順序同型写像
任意の
擬順序集合
$ (X_1,\le_1),(X_2,\le_2)
にて、以下を満たす
全単射
$ f:X_1⤖ X_2
を
順序同型写像
という
$ \forall x,y\in X_1: x\le_1 y\iff f(x)\le_2 f(y)
References
https://ja.wikipedia.org/wiki/順序集合#定義_2
順序埋め込み写像
(
単調増加写像
かつ
順序を反映する写像
)な全単射が順序同型写像に相当する
#2025-08-27
12:31:23
#2025-07-20
19:41:00