1 演算の閉性の基本概念
1.1 閉性の定義
集合 \(S\) 上の演算が与えられているとき、その演算を \(S\) の元どうしに適用した結果が必ず \(S\) の元として再び得られる性質を、演算の閉性（closure）という。形式的には、演算が \(S\times S\)（あるいは一般に \(S^n\)）から \(S\) への写像になっている状態、または「任意の入力が \(S\) に属するなら、出力も \(S\) に属する」こととして言い表される。 閉性が成り立つと、演算は集合の内部で完結し、以後の代数的議論が同じ母集合上で進められる。
1.2 「集合」と「演算」の関係
1.2.1 部分集合上での閉性
同一の演算を、より小さな部分集合 \(T\subseteq S\) に制限したとき、閉性が自動的に維持されるとは限らない。演算の定義域が大きい場合でも、部分集合の元どうしを演算して得られる値が部分集合に残るかは別問題である。 このため、閉性は「演算」だけでなく「どの集合に対してその演算を考えるか」に依存する性質として扱う必要がある。
1.2.2 対象となる元の範囲の決め方
閉性を検討する際には、演算の引数として許される元の範囲を明確にする。二項演算なら両方の入力が同一の集合に属する状況を想定するのが基本であり、入出力の母集合をそろえることが検証の出発点になる。 三項以上でも同様に、演算が入力に対して定義される範囲と、出力が属すべき集合を同時に指定することで、閉性の判定が定義上の曖昧さから解放される。
1.3 閉性が必要となる理由
閉性がないと、代数構造の定義に必要な「内部での操作」が成立しない。例えば、群や環などでは、演算の結果が同じ集合にとどまることによって、次の操作や恒等的対象（単位元など）との組み合わせが無理なく反復できる。 閉性が欠けると、操作のたびに集合の外へ出る可能性が生じ、構造の公理が意味を失う、あるいは公理の適用対象が毎回変わってしまう。したがって、閉性は代数的議論の足場として機能する。
2 具体例で見る閉性
2.1 数の範囲における閉性
2.1.1 自然数・整数・有理数の例
自然数 \( \mathbb{N}\) に対して加法は閉である。任意の \(a,b\in\mathbb{N}\) について \(a+b\) も自然数になるためである。乗法についても同様に、和と積はいずれも自然数の範囲にとどまる。 整数 \( \mathbb{Z}\) に対しては加法と乗法の双方が閉である。さらに、有理数 \( \mathbb{Q}\) でも加法と乗法は閉となり、加えて除法のうちゼロでない割り算についても閉性が成り立つ（ただし「定義域としてゼロ除外」を含めて考える必要がある）。
1.1.2 有限体の例（一般論としての取り扱い）
有限体 \( \mathbb{F}_q\) では、加法と乗法（ゼロ除外のもと）の結果が同じ有限集合内で完結する。有限体はその定義として、所定の演算で閉性が保証された構造を持つと整理されることが多い。 一般論としては、体の性質（加法群や乗法群の側面）を成り立たせるために、閉性が前提になっている点が重要である。
2.2 一般の演算の例
2.2.1 加法に関する閉性
加法を「集合 \(S\) の元の和」として定義し、出力が常に同じ集合 \(S\) の元になる状況を閉性という。例えば、実数全体での加法は閉である。 一方で、たとえば「正の実数」の集合に対して加法を考えると、結果は正のままになり閉性が成り立つが、「絶対値が1以下」といった条件付き集合では、和が条件を破ることがある。このように、加法の閉性は集合の性質に敏感である。
2.2.2 積に関する閉性
積についても同様に、「積を計算した結果が同じ集合に属するか」を見る。実数全体や整数全体では閉性が成立するが、集合に符号条件や大きさ条件が入ると判定は変わる。 例えば「区間 \( [0,1]\)」では積が常にその区間に残り閉性が保たれるが、「正の実数」でも成立する一方、「負の実数」だけに限定すると積が正になり、別の部分集合へ移ってしまう。閉性はこの移動の有無として現れる。
2.3 反例の作り方
2.3.1 結果が集合外へ出る場合
閉性が成り立たない典型は、集合 \(S\) 内のある二つの元 \(a,b\in S\) を演算して得た結果が、\(S\) の外に出るケースである。したがって反例を作るには、集合の境界や条件の外側に出やすい元を選び、演算の結果を計算してそれが属さないことを示す。 この方法は一般に、主張「閉である」が「どんな選び方でも外へ出ない」という全称的条件であることに対応している。
2.3.2 条件付きで閉性が崩れる場合
演算が条件付きで定義される場合（例：割り算のときの分母非ゼロ）には、閉性の崩れ方も二段階になる。第一に、演算がそもそも定義できる入力を集めたときに、入力条件を満たす元が集合内に存在するかが問題になる。第二に、定義できたとしても出力が条件を満たさず集合外になることがある。 したがって反例は「定義されるか」と「出力が集合内か」の両方を確認しながら構成すると確実である。
3 代数構造との結びつき
3.1 群・環・体での位置づけ
群では、集合上の演算 (通常は乗法・加法と呼ぶ) が閉であることに加え、結合法則、単位元の存在、逆元の存在が要求される。閉性は、積や和をとった後も同じ集合で次の議論ができることを保証する。 環ではさらに加法も乗法も閉であり、両者の関係（分配法則など）を公理として課す。体では環の条件に加え、非ゼロ元について乗法逆元が存在するため、閉性とともに「逆元をとっても集合内に残る」ことが重要になる。
3.2 半群・モノイド・圏的視点（基礎的整理）
半群は結合法則を満たす閉な二項演算を持つ構造として理解される。単位元を要求しない分、閉性と結合法則が中心的条件になる。 モノイドはさらに単位元を備えるが、ここでも演算の閉性は前提として維持される。 より基礎的な圏的視点では、対象集合の内部で合成が定義され、合成の結果が再び同じ対象に戻るという意味で閉性に相当する条件が、写像の合成可能性として現れる。詳細な定式化は別の議論領域に移るが、「操作が外へ逃げない」という核となる考え方は共通する。
3.3 閉性と他の公理との関係
3.3.1 結合法則・単位元・逆元との関係
閉性は他の公理よりもまず「演算が常に意味を持つ」という土台である。結合法則は、閉性がなければ比較対象となる式自体が集合外へ出て破綻する。したがって、結合の整合性を問う前に、式の計算が常に同じ母集合内で完結している必要がある。 単位元や逆元も同様で、単位元をとって演算した結果や、逆元を演算して得る値が集合内に残らないなら、公理としての単位性・逆性を主張できない。
3.3.2 可換性との関係
可換性は演算の順序に関する性質であり、閉性とは独立に検討されることが多い。閉性が成立していても、可換性が必ずしも成り立つとは限らない。 例えば行列の積では、結果が同じ集合（行列全体）に属する点で閉性がある一方、積の順序を入れ替えると一般には一致しない。したがって閉性は「操作が完結するか」を扱い、可換性は「操作の順序が問題になるか」を扱う、と整理できる。
4 閉性の検証と応用
4.1 演算表・写像としての確認方法
閉性を確認する基本手段は、演算を写像として捉え、「入力が集合に属するなら出力も属するか」を検査する方法である。有限集合の場合には演算表を作り、各セルに書かれた結果が集合内にあるかを確認する。 無限集合でも、式変形や不等式評価を通じて、出力が条件を満たすことを示せる場合が多い。閉性はしばしば境界条件の検討（例えば上限・下限、符号、零の扱い）に帰着する。
4.2 行列・多項式などへの適用（概要）
行列では、サイズの一致を前提に積や和をとると結果は同じサイズの行列になり、内部完結の性質が成立しやすい。ただし、サイズや成分の性質（特定の数体系上の成分に限定する等）によって、閉性が崩れることがある。 多項式では、係数の属する集合を固定し、その上で加減乗を行うと係数も同じ集合に残るので閉性が成り立つ場合が多い。一方で、「割り算」や「根」など追加操作を含めると定義域や出力の条件が複雑化し、閉性の確認が必要になる。
4.3 証明手順の典型パターン
4.3.1 任意性の使い方
閉性の主張は「任意の元に対して成立する」形で書けることが多い。したがって証明では、集合の元を一般形で置き、演算を実行した結果が集合の定義条件を満たすことを示す。 この際、定義条件が不等式・合同条件・整数性・零でない性質などで与えられているなら、それぞれに対応する評価や整合性の議論が中心になる。
4.3.2 分類による場合分けの設計
閉性の検証では、集合の定義が複数の条件の組（符号、大小、剰余類、零か非零か等）に分かれることがある。その場合、性質の違いに応じて場合分けを行うことで、同じ結論に到達する。 例えば積が符号を変えるような場面では「正負のどちらか」を軸に分類すると議論が簡潔になりやすい。重要なのは、分類が演算結果の条件を確実に尽くす形になっているかである。
4.4 閉性が満たされないときの扱い
4.4.1 取りうる拡張集合の考え方
閉性が失敗した場合には、出力を収めるための拡張集合を考えることが多い。つまり、元の集合 \(S\) に対して演算が外へ出るなら、より大きい集合 \(S'\) を導入し、同じ演算が \(S'\) では閉になるように調整する。 このとき拡張は最小性を意識して行うと管理が容易になるが、実用上は扱いやすい構造が得られる範囲で選択される。
4.4.2 演算の定義域を見直す判断
もう一つの方針は、演算そのものは維持しつつ、定義域を絞ることで閉性を回復する方法である。割り算では分母を非零に制限するなど、そもそも演算が未定義になる入力を除外することで内部完結性を確保できる場合がある。 どちらの方針（集合の拡張か、定義域の縮小か）が適切かは、目的とする代数構造や扱いたい性質に依存して決められる。