Encyclopedia > Embedding

Article Content

Embedding

In mathematics, an embedding is one instance of some mathematical object contained within another instance, such as a group which is a subgroup.

In domain theory[?], an embedding is a complete partial order F in [X -> Y] is an embedding if

For all x1, x2 in X, x1 <= x2 <=> F x1 <= F x2 and
For all y in Y, x | F x <= y is directed[?].

("<=" is written in LaTeX as \sqsubseteq).

Based on an article from FOLDOC, used by permission.

All Wikipedia text is available under the terms of the GNU Free Documentation License

Search Encyclopedia

Search over one million articles, find something about almost anything!

Featured Article

Photosynthesis

... as with cyclic electron flow and driving ATP synthase. Since the photosystem II complex replaced its lost electrons from an external source, however, these electrons are ...