順序

数学において順序集合（じゅんじょしゅうごう、）とは「順序」の概念が定義された集合の事で、「順序」とは大小、高低、長短等の序列に関わる概念を抽象化したものである。ただし、順序集合内の2つの元 , に順序関係が定まっている（「比較可能」である）必要はなく、両者が「比較不能」であってもよい。