1 定義と基本性質
1.1 部分順序の定義
部分順序（partial order）とは、ある集合 \(P\) 上で定義された二項関係 \(\le\) が「要素の間に順序がある」ことを表す枠組みの一つである。全ての要素どうしが必ずしも比較できない場合も含めて、比較可能な範囲で整合的な順序構造を与える。
数学的には、集合 \(P\) と関係 \(\le\) の組 \((P,\le)\) が部分順序を与えるとは、後述の反射律・反対称律・推移律を満たすことを指す。
1.2 公理
1.2.1 反射律
反射律（reflexivity）とは、任意の要素 \(x\in P\) について \[ x \le x \] が成り立つことをいう。これは「要素自身は少なくとも同程度（同じ位置）である」という最小限の整合性条件である。
1.2.2 反対称律
反対称律（antisymmetry）とは、任意の \(x,y\in P\) について \[ x \le y \ \text{かつ}\ y \le x \ \Rightarrow\ x=y \] が成り立つことをいう。両方向の順序が成立したとき、要素が実質的に区別できないことを保証する条件である。
1.2.3 推移律
推移律（transitivity）とは、任意の \(x,y,z\in P\) について \[ x \le y \ \text{かつ}\ y \le z \Rightarrow x \le z \] が成り立つことをいう。局所的な比較を組み合わせて、順序の整合性を保つための基本条件である。
1.3 全順序との違い
全順序（total order）は、任意の異なる \(x,y\) について必ず \(x\le y\) または \(y\le x\) が成り立つような順序である。これに対し部分順序では、比較可能性が成り立たない組が存在してよい。したがって部分順序は、情報量・構造の包含・制約の関係など、「比べられるもの」と「比べにくいもの」を同時に扱える点で有効である。
2 順序集合の基本概念
2.1 比較可能性
順序集合 \((P,\le)\) において、二つの要素 \(x,y\) が比較可能（comparable）であるとは、\(x\le y\) または \(y\le x\) の少なくとも一方が成り立つことをいう。比較できない場合（incomparable）は、どちらが上に位置するかをこの順序規則だけでは決められない状況を意味する。
比較可能性の有無は、順序集合の見通しを左右する。比較できない要素同士は、包含関係が確定しない集合、互いに制約の仕方が異なる情報などに対応することが多い。
2.2 上界と下界
上界（upper bound）と下界（lower bound）は、要素の集まりに対して「その集まり全体より上（または下）にある」要素を定義する概念である。集合 \(S\subseteq P\) に対し、\(u\in P\) が上界であるとは任意の \(s\in S\) に対して \(s\le u\) が成り立つことをいう。同様に、\(l\in P\) が下界であるとは任意の \(s\in S\) に対して \(l\le s\) が成り立つことをいう。
上界・下界は、順序の「まとめ方」や、極値的な要素の有無を議論する土台になる。
2.2.1 最大元と最小元
最大元（greatest element）とは、ある \(m\in P\) が存在して、任意の \(x\in P\) について \(x\le m\) が成り立つものをいう。最大元は上界の特別な場合であり、存在すればそれは一意である。最小元（least element）も同様で、任意の \(x\in P\) について \(m\le x\) が成り立つ要素である。
最大元や最小元の存在は、順序集合に「全体を貫く基準点」があることを示す。
2.2.2 極大元と極小元
極大元（maximal element）とは、ある \(x\in P\) について \(x\le y\) が成り立つとき必ず \(x=y\) であるような元を指す。言い換えると、\(x\) より真に大きい要素が存在しないことを意味する。極小元（minimal element）も同様に、これより真に小さい要素が見つからない元である。
極大元と最大元は異なる。極大元は「これ以上は上に伸びられない」という意味で局所的であり、最大元は「全要素の中で最上位」という意味で大域的である。
2.3 上限と下限
上限（supremum）と下限（infimum）は、部分集合 \(S\subseteq P\) に対し「最も小さな上界」「最も大きな下界」を与える考え方である。順序集合が稠密であったり極値が存在しない場合にも、適切な条件の下で上限・下限を定められることがある。
上限は「上界の集合の中で最小のもの」、下限は「下界の集合の中で最大のもの」として特徴づけられる。これらが存在すると、極大元のような局所概念よりも、集合全体に対する整合的な集約が可能になる。
3 代表的な例
3.1 数の大小関係
実数全体 \( \mathbb{R} \) における通常の大小関係 \(\le\) は全順序を与えるが、部分順序の例として捉えることもできる。部分順序として見れば、比較可能性が常に成立するため、全順序の性質を典型例として確認できる。
一方で、例えば有理数や自然数の部分集合に制限した場合でも、同じ大小関係を使えば順序構造が引き継がれる。上界・下界・極値の挙動は集合の選び方に依存する。
3.2 集合の包含関係
集合 \(A,B\) に対して \(A\subseteq B\) を対応させると、べき集合 \( \mathcal{P}(X) \) 上に部分順序が得られる。ここでは要素の比較が「含まれているか」によって決まるため、比較できない集合対は容易に生じる。例えば \( \{1\}\) と \(\{2\}\) は、包含の観点ではどちらも他方を含まず比較できない。
包含による順序は、上界が共通の上側を与えるために必要な合成（典型的には和集合）、下界が共通の下側を与えるために必要な合成（典型的には積集合）と関係づけられることが多い。
3.3 約数関係
自然数全体の上で「割り切れる」を \(\le\) のように用いることができる。すなわち \(a \le b\) を「\(a\) が \(b\) を割り切る（\(a\mid b\)）」と定めると、部分順序が成立する。これは因数分解の階層構造を反映し、ある数が他の数をどの程度含むか（素因数の指数の関係）を比較する枠組みになる。
この順序では、ある数の上には倍数が集まり、下には約数が集まるため、極大元・極小元の位置づけも直感的になる。
3.4 文字列や情報の順序
計算機科学では、情報の増え方や制約の強さに基づいて順序を定める場面がある。例えば文字列集合に対し、「一方が他方の接頭辞である」関係を \(\le\) として扱うと、順序集合が得られる。比較できない文字列は、異なる接頭辞の分岐を表す。
また、情報内容として「推論によって得られる範囲が広がるほど上位」とするような順序を導入すると、知識の蓄積や単調性を議論しやすくなる。ここでも全順序である必要はなく、部分的な比較が自然に生じる。
4 関連する構造と応用
4.1 束
束（lattice）とは、部分順序の上で「交わりに対応する元」と「結びに対応する元」を、任意の二つの要素に対して（ある条件の下で）確定できるようにした構造である。具体的には、任意の \(a,b\) に対して共通の下界の最大（meet）と共通の上界の最小（join）が存在する状況を扱う。
束は、上限・下限の考え方を有限個の要素に対して強めたものと見なせるため、代数的操作としての整理がしやすい。
4.1.1 交わりと結び
束における交わり（meet）は「両者を下からそろえる」操作であり、結び（join）は「両者を上からそろえる」操作である。両者はそれぞれ下界の中で最大、上界の中で最小として特徴づけられる。
集合の包含順序の束では、交わりは共通部分、結びは和集合に対応することが多い。約数順序の束でも、交わり・結びが最大公約数や最小公倍数として具体化される例がある。
4.1.2 完備束
完備束（complete lattice）は、任意個の要素集合に対しても上限・下限が存在するような束を指す。有限個だけでなく無限個まで扱える点が拡張の中心であり、解析や論理、計算理論で登場する場面が増える。
完備性があると、極限的な過程や反復の収束を順序の言葉で表現しやすくなるため、理論的な枠組みとして利用される。
4.2 順序写像
順序写像（order-preserving map）は、ある順序集合から別の順序集合への写像で、順序関係を崩さない性質を持つ。典型的には、\((P,\le)\) から \((Q,\preceq)\) への写像 \(f\) が \(x\le y\) なら \(f(x)\preceq f(y)\) を満たすことが要求される。
このような写像は、情報の変換や表現の再符号化で、大小関係の意味を保つ操作として解釈できる。さらに、上限や下限をどの程度保存するかによって、写像の振る舞いが細かく分類される。
4.3 グラフ理論との関係
部分順序は、グラフや有向グラフの言葉とも密接に結びつく。要素を頂点、順序関係を有向辺として表すと、到達可能性（パスが存在すること）が順序そのものを表現する場合がある。特に推移律を反映するため、冗長な辺を整理する概念として「被覆関係」に相当する構成が現れる。
この対応により、順序集合の極大・極小、鎖、反鎖といった性質を、グラフの探索や構造解析の視点で捉えられるようになる。
4.4 論理学における役割
論理学では、含意関係や導出可能性を順序とみなすことで、推論の流れを「上へ伸びる」「下へ絞る」という枠組みに落とし込めることがある。例えば、仮説集合を増やすことで導出される結論が広がるなら、その対応は単調性を持つ写像として扱える。
また、束や完備性は、論理式の集合に対する演算や、近似の極限を形式化する際に役立つ。結果として、証明探索や意味論の整理が順序論の言葉で体系化されることがある。