查询词典 reflexively partially ordered set

Partial ordered set is an algebraic structure. It is of great practical significance to study the relation between the order and various applied sciences, such as computer science, management science and social science.

偏序集是一个拓代数结构，建立序与计算机科学、管理科学及社会科学中各种不同的应用的联系，其研究具有重要的实际意义。

The problem then becomes constructing such an ordering, and it turns out that every set can be well-ordered if and only if the axiom of choice is true.

问题就变成构造这样一个排序，而它使得所有集合可以是良序的，当且仅当选择公理为真。

He was obliged to break in upon his daily routine, employ an assistant, and early in July his physician ordered him to set out for Engadine, and try the chalybeate water-cure at Saint Moritz.

他不得不中断后，他每天例行的，聘请1名助理，并在7月初他的医生命令他定出恩加丁，并尝试在圣莫里兹的铁剂水治疗。

In the first part, for competitive discrete-time dynamical systems on a strongly ordered topological vector space, we prove that any α-or ω-limit set is unordered and lies on some invariant hypersurface with codimension one, which generalizes M.

在第一部分中，对于强序拓扑向量空间上的竞争离散动力系统，我们研究了极限集的序结构和极限集的几何位置，证明了任何α-或ω-极限集是无序的且位于一个完全无序的，余维为1的不变Lipschitz流形上。

In this paper, the connectivity axiom and the continuity axiom in Von Neumann-Morgenstern Rational behavior axioms are weakened. Then, a set of axiom for lattice ordered decision-making behavior, which can describe the decision-making behavior more rationally, is constructed. At last, the relative unique existence theorem for utility function is obtained.

根据偏好关系所具有的格序特征，将Von Neumann-Morgenstern理性行为公理体系中的连通性公理弱化为格连通性公理，并相应地弱化连续性公理，得到了一集能更为合理地描述具有"有限理性"的决策行为的格序决策行为公理体系，构造并证明了在格序决策行为公理体系之下，效用函数的存在惟一性定理。

In this paper, the completeness of no endpoint dense ordered set is proved by Robinson method. And the sufficient conditions are given to prove the completeness of a theory from Robinson method.

文章利用Robinson判别法证明无端点稠密有序集是完全理论，并由Robinson判别法得到了一个理论是完全理论的充分条件。

An ordered set of all the letters used in a language, including letters with diacritical signs where appropriate, but not including punctuation marks .

某种语言所使用的全部字母的有序集合，它包括带有发音符号的字母，但不包括标点符号。

An ordered set of all the letters used in a language, in clud in g letters with diacritical signs where appropriate,but not in clud in g punctuation marks.

某种语言所使用的全部字母的有序集合，它包括带有发音符号的字母，但不包括标点符号。

It is found that loop-carried flow dependencies form a set of disjoint linear ordered sets, and that there is one and only one basis that is independent and inclusive, making unnecessary all the other dependencies.

利用这一性质，围绕着包含这一概念，该文为VLIW结构上的流相关分析提出了一个完整的娄学模型，发现体间流相关集合可划分为若干不相交的线序集合，存在且仅存在一个独立的、全包含的流相关集合，使其他所有流相关都不必要。

AnsiChar values are byte-sized (8-bit) characters ordered according to the extended ANSI character set.

AnsiChar 为按照扩展 ANSI 字符集有序排列的字节型(8位)字符。

Aquatic or marsh-growing fern allies; known to have existed since the Cenozoic; sometimes included in Lycopodiales.

生活于水中或湿地的蕨类；从新生代生存至今；有时归于石松目之中。

The engine was uprated from a 90hp Franklin to a 125hp Lycoming.

改良过的引擎是从90hp到125hp莱康明富兰克林。