DEEn Dictionary De - En
DeEs De - Es
DePt De - Pt
 Vocabulary trainer

Spec. subjects Grammar Abbreviations Random search Preferences
Search in Sprachauswahl
embedding
Search for:
Mini search box
 
English Dictionary: embedding by the DICT Development Group
2 results for embedding
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 (15Feb98) [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)
  
  
No guarantee of accuracy or completeness!
©TU Chemnitz, 2006-2024
Your feedback:
Ad partners