| 释义 |
poset 英'pəʊzet美'pəʊzet BNC²³⁶²¹³⁺¹
基本例句
n.部分有序集¹⁰⁰
An auxiliary relation is an important binary relation on a poset.
辅助关系是定义在偏序集上的一种重要的二元关系。 cnki
A continuous poset has a countable basis iff the measurement topology of it is separable.
连续偏序集有可数基当且仅当其上的测度拓扑是可分的； cnki
A poset is called a symmetric chain decomposition if the poset can be expressed as a disjoint union of symmetric chains.
如果一个偏序集可以分解成不相交的对称链之并，则称此偏序集具有对称链分解。 dictall
In this paper, we suppose W denote the set of all Wff of the proposition logic to get a poset, then discuss some methods equivalent to the structural induction of the wff in the proposition logic P.
本文先给出命题逻辑 P的所有合式公式组成的集合 W上的一个偏序关系，从而得到一个偏序集，然后在这个偏序集上讨论了与 P中关于合式公式结构的归纳法等价的几个方法。 dictall
In this paper, we investigate the interval topology on a poset.
本文主要研究了偏序集上的区间拓扑的一些性质。 dictall
The totally-ordered relations between subcomponents are retrieved by defining the corresponding rules between decomposed relations and a poset of subcomponents.
最后通过定义一组拆分关系与子部件偏序关系之间的对应规则来得到子部件的全序关系。 cjig.cn
When a poset is a local directed complete set, the auxiliary relation on it has many properties.
当偏序集为定向完备集时，其上的辅助关系性质比较丰富。 cnki |