order-embedding

(redirected from Order embedding)
Also found in: Wikipedia.

order-embedding

A function f : D -> C is order-embedding iff for all x, y in D,

f(x) <= f(y) <=> x <= y.

I.e. arguments and results compare similarly. A function which is order-embedding is monotonic and one-to-one and an injection.

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

This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)

References in periodicals archive ?

An order embedding from a poset (A, [[less than or equal to].sub.A]) to a poset (B, [[less than or equal to].sub.B]) is a mapping h: A [right arrow] B such that a [[less than or equal to].sub.A] a' iff h(a) [[less than or equal to].sub.B] h(a'), for all a, a' [member of] A.

Injective hulls for posemigroups/Jarjestatud poolruhmade injektiivsed katted

Full browser ?

▲
order Cypriniformes
Order Date
order Decapoda
order Decapoda
order Dermaptera
order Dermaptera
order Dermoptera
order Dermoptera
order Diapensiales
order Diapensiales
order Dicranales
order Dicranales
order Dictyoptera
order Dictyoptera
order Dinocerata
order Dinocerata
order Dinoflagellata
order Dinoflagellata
order Dinornithiformes
order Dinornithiformes
order Diptera
order Diptera
order Discocephali
order Discocephali
Order Driven
Order dual
order Ebenales
order Ebenales
order Edentata
order Edentata
Order embedding
order Embiodea
order Embioptera
Order End, Present End
order Endomycetales
order Entomophthorales
order entry
order entry
Order Entry and Results Reporting
Order Entry Format
Order Entry Management System
Order Entry Module
Order Entry Representative
Order Entry Service Order Tracking System
Order Entry System
Order Entry Tracking System
order Ephemerida
order Ephemeroptera
order Equisetales
order Ericales
order Erysiphales
order Eubacteriales
order Eubryales
order Euphausiacea
order Eurotiales
order Eurypterida
Order Every Month
order Exocycloida
order Fagales
order Falconiformes
order Filicales
▼

CITE

Site: Follow: Share:

Open / Close