全序关系
- un.ordering relation
- 网络total order; total ordering relation; Complete Partial Relation
全序关系全序关系
total order
数学中英语专业名词 - 数学 -... ... topology： 拓扑 或 拓扑学； total order： 全序关系； totally disconnected： 完全不连贯； ...
total ordering relation
汉英词典 ... 前杆口 anterior bar 全序关系 total ordering relation 抢险救援任务 rescue mission ...
Complete Partial Relation
5.5.4 全序关系（Complete Partial Relation）及其应用 134
then for all inst
instance ... 是 全序关系 的 实例, then for all inst1,inst2 holds:rel 表述式 的 实例, then formula1 ...
TotalOrderRelation
...有x≤y或y≤x，二者必居其一，则称关 系“≤”为全序关系(TotalOrderRelation)，简称 全序，或者线序关系，简称线序。