埋め込み (数学)
順序理論(英語版)において、半順序の埋め込みは X から Y への写像 F であって
∀ x 1 , x 2 ∈ X : x 1 ≤ x 2 ⇔ F ( x 1 ) ≤ F ( x 2 ) {\displaystyle \forall x_{1},x_{2}\in X:x_{1}\leq x_{2}\Leftrightarrow F(x_{1})\leq F(x_{2})}
を満たすもののことである。
領域理論においては、さらに次のことが要求される:
∀ y ∈ Y : { x : F ( x ) ≤ y } {\displaystyle \forall y\in Y:\{x:F(x)\leq y\}} は有向である。