翻訳と辞書 Words near each other ・ Order-6 octagonal tiling ・ Order-6 pentagonal tiling ・ Order-6 square tiling ・ Order-6 tetrahedral honeycomb ・ Order-6 triangular hosohedral honeycomb ・ Order-7 heptagonal tiling ・ Order-7 heptagrammic tiling ・ Order-7 hexagonal tiling honeycomb ・ Order-7 square tiling ・ Order-7 tetrahedral honeycomb ・ Order-7 triangular tiling ・ Order-8 hexagonal tiling ・ Order-8 octagonal tiling ・ Order-8 square tiling ・ Order-8 triangular tiling ・ Order-embedding ・ Order-independent transparency ・ Order-maintenance problem ・ OrderAhead ・ Ordered Bell number ・ Ordered dithering ・ Ordered exponential ・ Ordered field ・ Ordered from the Catalogue ・ Ordered geometry ・ Ordered graph ・ Ordered list ・ Ordered logit ・ Ordered pair ・ Ordered probit Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Order-embedding ： ウィキペディア英語版 Order-embedding In mathematical order theory, an order-embedding is a special kind of monotone function, which provides a way to include one partially ordered set into another. Like Galois connections, order-embeddings constitute a notion which is strictly weaker than the concept of an order isomorphism. Both of these weakenings may be understood in terms of category theory. == Formal definition == Formally, given two partially ordered sets (''S'', ≤) and (''T'', ≤), a function ''f'': ''S'' → ''T'' is an ''order-embedding'' if ''f'' is both order-preserving and order-reflecting, i.e. for all ''x'' and ''y'' in ''S'', one has : $x\backslash leq\; y\; \backslash text\; f(x)\backslash leq\; f(y).$〔.〕 Note that such a function is necessarily injective, since ''f''(''x'') = ''f''(''y'') implies ''x'' ≤ ''y'' and ''y'' ≤ ''x''.〔 If an order-embedding between two posets ''S'' and ''T'' exists, one says that ''S'' can be embedded into ''T''. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Order-embedding」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.