跳转到内容

预序类

维基百科,自由的百科全书

这是本页的一个历史版本,由Changsu Wang留言 | 贡献2019年7月13日 (六) 12:20 (通过翻译页面“Preordered class”创建)编辑。这可能和当前版本存在着巨大的差异。

(差异) ←上一修订 | 最后版本 (差异) | 下一修订→ (差异)

数学中,预序类(preordered class)就是带有预序

定义

在处理与类有关的问题时,可以把类上的类关系定义为的子类。这样,可以很方便地借用集合上的关系的语言

预序类就是带有预序的类。“偏序类”与“全序类”可以用类似的方法定义。这些概念分别是预序集偏序集以及全序集的推广。

例子

  • 是一个范畴的一些态射组成的类,包含单位元并且关于复合运算封闭。在的对象上定义关系:当且仅当中存在从的态射。则的对象类上的预序。
  • 所有序数组成的类关于通常意义下的序数的顺序构成全序类。

参考文献