Definition talk:Order Embedding

Name
The term "order embedding" might have less potential for confusion than "order monomorphism", since it is not exactly the same as a monomorphism in the category of ordered sets. Comments? --abcxyz (talk) 15:43, 9 January 2013 (UTC)