順序同型
$ (X_1,\le_1),(X_2,\le_2)
に
順序同型写像
$ f
が存在するとき、「
$ (X_1,\le_1),(X_2,\le_2)
は
順序同型
である」といい、
$ (X_1,\le_1)\cong_o(X_2,\le_2)
で表す
いろんな
同型
があるので、
$ _o
をつけて区別できるようにしといた
takker.icon
#2025-07-20
19:42:46