単調写像
monotinic map
単調関数
順序集合
の間の写像
順序を保存する写像のこと
mrsekut.icon
定義
$ D,D'
を半順序集合として、関数
$ f: D\to D'
について、以下が成り立つ時、
$ f
を単調関数と呼ぶ
$ \forall a,b\in D
に対して、
$ a\sqsubseteq b\Rightarrow f(a)\sqsubseteq f(b)
例
部分関数の半順序集合
https://ja.wikipedia.org/wiki/単調写像
/mrsekut-book-4320026578/082