browse words by letter
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
more about embedding
embedding |
2 definitions found From Webster's Revised Unabridged Dictionary (1913) [web1913]: Embed \Em*bed"\, v. t. [imp. & p. p. {Embedded}; p. pr & vb n. {Embedding}.] [Pref. em- + bed. Cf {Imbed}.] To lay as in a bed; to lay in surrounding matter; to bed; as to embed a thing in clay, mortar, or sand. From The Free On-line Dictionary of Computing (13 Mar 01) [foldoc]: embedding 1.One instance of some mathematical object contained with in another instance, e.g. a {group} which is a subgroup. 2. ({domain theory}) A {complete partial order} F in [X -> Y] is an embedding if (1) For all x1, x2 in X, x1 <= x2 <=> 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)
more about embedding
This work is licensed under a
