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). (1995-02-03)

In addition suitable contents:
[ 2 ] [ = ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ arg ] [ argument ] [ as ] [ b ] [ be ] [ bs ] [ C ] [ ch ] [ co ] [ com ] [ D ] [ dd ] [ de ] [ ding ] [ du ] [ ec ] [ ed ] [ embedding ] [ er ] [ es ] [ et ] [ fi ] [ file ] [ fo ] [ for ] [ function ] [ gu ] [ h ] [ hr ] [ id ] [ iff ] [ il ] [ in ] [ injection ] [ io ] [ is ] [ it ] [ la ] [ LaTeX ] [ Lex ] [ lt ] [ ly ] [ mil ] [ mo ] [ mod ] [ module ] [ monotonic ] [ mp ] [ na ] [ nc ] [ ne ] [ ng ] [ ni ] [ no ] [ om ] [ pa ] [ ph ] [ query ] [ rc ] [ re ] [ rl ] [ se ] [ set ] [ si ] [ sqsubseteq ] [ su ] [ subseteq ] [ T ] [ to ] [ tt ] [ um ] [ X ]