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
embedding

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