查询词典 ordered

lattice-ordered monoid：格半群

倒易点:reciprocal lattice point | 格半群:lattice-ordered monoid | 参考半格:reference lattice

open ordered set：开有序集

open neighborhood 开邻域 | open ordered set 开有序集 | open parallelepiped 开平行六面体

ordered field：有序域

并且一个有序域(ordered field)被称为完全的,如果它的任何在这个域中有上界的非空子集,都有一个在这个域中的最小上界(least upper bound);注意这个定义与序理论中的完全有界性(bounded complete)有细小的差别.

ordered field：序域

并且一个有序域(ordered field)被称为完全的,假如它的任何在这个域中有上界的非空子集,都有一个在这个域中的最小上界(least upper bound);注重这个定义与序理论中的完全有界性(bounded complete)有细小的差别.

weakly ordered field：弱有序域

weakly normal subgroup 弱正规子群 | weakly ordered field 弱有序域 | weakly orthogonal subspace 弱正交子空间

non-Archimedean ordered field：非阿基米德序域

非阿基米德绝对值|non-Archimedean absolute value | 非阿基米德序域|non-Archimedean ordered field | 非本原群|imprimitive group

Archimedean ordered field：阿基米德序域

阿基米德绝对值|Archimedean absolute value | 阿基米德序域|Archimedean ordered field | 阿诺索夫微分同胚|Anosov diffeomorphism

simply ordered group：全有序群

simply convergent filter 单收敛滤子 | simply ordered group 全有序群 | simply periodic function 单周期函数

ordered pair：序偶

一个二元谓词的外延指这个谓词所包含的个体的有序偶(ordered pair)的集合,即能用这个谓词来描写的所有个体的有序偶的集合;余类推. (注:关于体词性成分和谓词性成分的外延分析,主要参考Allwood,et al.(1977)§5.4,p73-74,中译本第85页;

ordered pair：有序对

与本文主旨不同. 现在让我们从另一个角度看上图的差等关系. 根据集合论,两类事物之间的关系可理解为由有序对(ordered pair)组成的集合. 由於类GQ代表两个集合之间的关系,它们可以被看成有序对的集合,例如「所有」便可以定义为

Supposed to Be：应该吧

我想我该睡了 i think i should slp | 应该吧 supposed to be | 希望 hope so

Plain Weave：平布

509 hopsack 方平织物 | 510 plain weave 平布 | 511 panama 巴拿马薄呢