順序集合 2023年9月21日 NEW!順序写像・単調写像・順序反映・順序埋め込み・順序同型写像の定義 \[ a\preceq_{X}b\Rightarrow f\left(a\right)\preceq_{Y}f\left(b\right) \]
順序集合 2023年9月17日 順序集合の双対順序集合と狭義順序集合の狭義逆順序 \[ \succeq:=\left\{ \left(a,b\right)\in X^{2};b\preceq a\right\} \]