<<Up Contents
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.
wikipedia.org dumped 2003-03-17 with terodump