In domain theory[?], an embedding is a complete partial order F in [X -> Y] is an embedding if
("<=" is written in LaTeX as \sqsubseteq).
\sqsubseteq
Based on an article from FOLDOC, used by permission.
... with ...