预序类 在数学中预序类preordered class就是带有预序的类