Definition:Order Embedding/Also known as

Order Embedding: Also known as
An order embedding is also known as an order monomorphism.

Some sources call it an order-preserving mapping, but this term is also used (in particular on to be the same thing as an increasing mapping: that is, a mapping which preserves an ordering in perhaps only one direction.