翻訳と辞書
Words near each other
・ elvish
・ em
・ em-1
・ ema
・ emacs
・ emacs lisp
・ emas
・ embedded lisp interpreter
・ embedded mode
・ embedded system
embedding
・ embla pro
・ embosser
・ emc
・ emd enterprises, inc.
・ emdir
・ emerald
・ emi
・ emitter coupled logic
・ eml


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

embedding : 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)

sqsubseteq).
(1995-03-27)



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.