定义.在处理与类有关的问题时，可以把类formula_1上的类关系定义为formula_2的子类。这样，可以很方便地借用集合上的关系的语言预序类就是带有预序的类。“偏序类”与“全序类”可以用类似的方法定义。这些概念分别是预序集、偏序集以及全序集的推广。