预序类
外观
在数学中,预序类(preordered class)就是带有预序的类。
定义
在处理与类有关的问题时,可以把类上的类关系定义为的子类。这样,可以很方便地借用集合上的关系的语言
预序类就是带有预序的类。“偏序类”与“全序类”可以用类似的方法定义。这些概念分别是预序集、偏序集以及全序集的推广。
例子
参考文献
- Nicola Gambino and Peter Schuster, Spatiality for formal topologies
- Adámek, Jiří; Horst Herrlich; George E. Strecker. Abstract and Concrete Categories (PDF). John Wiley & Sons. 1990. ISBN 0-471-60922-6.