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)


 * Since it is required to reflect, embedding seems to be more accurate. It also seems to coincide with the notion of embedding from a model-theoretic perspective (not that such relations can be explicated at this point, but it's a nice bonus). --Lord_Farin (talk) 18:17, 9 January 2013 (UTC)


 * Order embedding seems intuitively clear, and it's the term I've seen elsewhere, so no objections from me. --Dfeuer (talk) 02:24, 27 January 2013 (UTC)