Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap


You are here: irt.org | FOLDOC | embedding

1. <mathematics> One instance of some mathematical object contained with in another instance, e.g. a group which is a subgroup.

2. <theory> (domain theory) A complete partial order F in [X -> Y] is an embedding if

(1) For all x1, x2 in X, x1 <=> F x1 <= F x2 and

(2) For all y in Y, x | F x <= y is directed.

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


Nearby terms: Embedded Lisp Interpreter « Embedded Mode « embedded system « embedding » EMBLA Pro » embosser » EMC

FOLDOC, Topics, 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, ?, ALL

©2018 Martin Webb