You are here: irt.org | FOLDOC | embedding
1. <mathematics> One instance of some mathematical object contained with in another instance, e.g. a group which is a subgroup.
2. <theory> (domain theory) A complete partial order F in [X -> Y] is an embedding if
(1) For all x1, x2 in X, x1 <=> F x1 <= F x2 and
(2) For all y in Y, x | F x <= y is directed.
("<=" is written in LaTeX as \sqsubseteq).
(1995-03-27)
Nearby terms: Embedded Lisp Interpreter « Embedded Mode « embedded system « embedding » EMBLA Pro » embosser » EMC
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL