human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge groups authors who co-authored the same paper.

Details of the hypergraph:
Center hyperedge (induced by source paper "A structure theory for ordered sets"):
  Abstract: The theory of ordered sets lies at the confluence of several branches of mathematics including set theory, lattice theory, combinatorial theory, and even aspects of modern operations research. While ordered sets are often peripheral to the mainstream of any of these theories there arise, from time to time, problems which are order-theoretic in substance. The aim of this work is to fashion a classification scheme for ordered sets which aimed at providing a unified vantage point for some of the problems encountered with ordered sets. This classification scheme is based on a structure theory much akin to the familiar subdirect representation theory so useful in general algebra. The novelry of the structure theory lies in the importance that we attach to, and the widespread use that we make of, the concept of retract. At present, some vindication for our classification scheme can be found by examining its effectiveness for totally ordered sets (e.g., well-ordered sets, the rationals, reals, etc.) as well as for those finite ordered sets that arise commonly in combinatorial investigations (e.g., crowns and fences).

Includes members:
  Member "The smallest order variety containing all chains":
    also connected through other hyperedges:
      (none)

Question: Please tell me which research area the co-authored paper (i.e., the source paper of the center hyperedge) belongs to. The 4 classes are: Computer science, Mathematics, Engineering, Economics, Psychology, Business. Directly output the class name.

gpt: Mathematics