集合論の重要語源事典（厳選20語）
1. 基礎概念
1. 集合 (Set) ラテン語の「secta（切り分けられたもの）」や「sequi（続く）」に起源を持ち、中世フランス語の「sette（派閥、集まり）」を経由して数学用語となった。カントールはこれを「直観または思考によって区別できる対象の集まり」と定義した。日本語の「集合」は明治期に訳語として定着し、物が集まって一つに合う様子を表す。単なる群衆ではなく、数学的に「範囲」が明確に定義された対象の集積を意味する最も基礎的な概念である。
2. 要素 (Element) ラテン語の「elementum（第一原理、構成要素）」に由来し、古代ギリシャでは物質の最小単位を指した。集合論では集合を構成する個々の対象を指す。記号「∈」は、イタリアの数学者ペアノがギリシャ語の「esti（である）」の頭文字ε（エプシロン）を変形させて導入したもので、ある対象が特定の集合に属している状態（帰属関係）を表している。集合論における原子のような存在である。
3. 空集合 (Empty Set) 要素を一つも持たない集合。記号「∅」は数字の0やギリシャ文字のφ（ファイ）ではなく、フランスの数学者集団ブルバキのメンバー、アンドレ・ヴェイユがノルウェー語のアルファベット「Ø」から着想を得て導入した。「無（Nothing）」という概念を、確固たる一つの「数学的対象（Something）」として扱うという、集合論の抽象性と形式性を象徴する出発点となる概念である。
4. 部分集合 (Subset) 「Sub（下位の）」と「Set（集合）」の合成語。ある集合Aの全ての要素が集合Bにも含まれる場合、AはBの部分集合と呼ばれる。記号「⊂」や「⊆」は包含関係（Inclusion）を表すラテン語のCに由来するとされる。自分自身も自分自身の部分集合となる概念や、空集合がすべての集合の部分集合になるという論理は、直感を超えた厳密な定義の重要性を示している。
5. 冪集合 (Power Set) ある集合の全ての部分集合を集めて作られる新しい集合。「Power」は「冪（べき＝累乗）」を意味する。要素数が の集合の冪集合の要素数が になることに由来する。ドイツ語の「Potenzmenge」の訳語。カントールの定理により、元の集合よりも常に大きな濃度（サイズ）を持つことが示されており、無限の階層構造を作り出すためのエンジンのような役割を果たす。
2. 演算と関係
6. 和集合 (Union) ラテン語の「unio（統一、結合）」に由来し、数における「足し算」の概念を集合に拡張したもの。記号「∪」はUnionの頭文字Uに由来する形だが、論理和（OR）を表す記号「∨」との関連も深い。二つの集合の少なくともどちらか一方に含まれる要素全体を指す。異なるグループを統合し、より大きな枠組みを形成する操作であり、集合演算の最も基本的な結合操作である。
7. 共通部分 (Intersection) ラテン語の「inter（間に）」と「sectio（切ること）」に由来し、交差点を意味する。記号「∩」は和集合のUを逆さにしたものだが、論理積（AND）とも対応する。二つの集合の両方に同時に含まれる要素のみを取り出した集合。道路が交差する場所のように、異なる領域が重なり合う「共有領域」を抽出する操作であり、条件の絞り込みにおいて重要な役割を果たす。
8. 補集合 (Complement) ラテン語の「complementum（満たすもの、補完物）」に由来する。ある全体集合の中で、特定の集合に含まれない残りの部分全体を指す。「完全なものにするための残り」という意味合いがあり、集合Aとその補集合を合わせると全体集合になる。否定（NOT）の概念を集合論で表現したものであり、ある条件に「当てはまらない」対象を明確に定義するために不可欠な操作である。
9. 直積 (Cartesian Product) デカルト座標（Cartesian coordinates）を考案したルネ・デカルトの名に由来する。二つの集合から要素を一つずつ取り出して組にしたもの（順序対）全体の集合。記号「×」を用いて と表す。平面上の座標が 軸と 軸の数値の組で表されるように、複数の要素を組み合わせて新しい次元の空間を構成する基礎となる概念である。
10. 写像 (Map / Mapping) 英語のMapは「地図」を意味するが、数学ではある集合の要素を別の集合の要素に対応させる規則を指す。「写像」という日本語は、幾何学的な図形を別の場所に「写す」というイメージから来ている。関数（Function）とほぼ同義だが、集合論では数に限らない抽象的な対象同士の対応関係を強調する場合に使われることが多い。構造を保ったまま別の世界へ翻訳する橋渡し役である。
3. 無限と濃度
11. 濃度 (Cardinality) 英語のCardinalはラテン語の「cardo（蝶番）」に由来し、「枢要な」「基本的な」という意味を持つ（カトリックの枢機卿も同語源）。集合の「大きさ」や「個数」を一般化した概念。有限集合であれば要素数と一致するが、無限集合においては「自然数と実数の無限の大きさが異なる」など、無限に階層があることを示すために導入された。個数を数える基数（Cardinal number）の抽象化である。
12. アレフ (Aleph) ヘブライ語アルファベットの最初の文字「ℵ」。カントールが無限集合の濃度（大きさ）を表す記号として選んだ。ギリシャ文字やラテン文字は既に多くの数学記号として使われていたため、全く新しい「無限の階層」を表すためにあえて異なる体系の文字を採用したとされる。（アレフ・ゼロ）は最も小さい無限（自然数の濃度）を指し、ここから超限数の壮大な体系が展開される。
13. 可算 (Countable) 「数えることができる」という意味。自然数 と一対一に対応づけられる集合（または有限集合）を指す。カントールは、一見数えきれないように見える「有理数（分数）」も実は自然数と同じ「可算無限」であることを示し、常識を覆した。無限には「リストアップできる無限（可算）」と「リストアップできない無限（非可算）」があることを区別する重要な境界線である。
14. 連続体 (Continuum) ラテン語の「continuus（途切れない、連続した）」に由来。実数直線のように、ぎっしりと詰まっていて隙間がない状態を指す。実数全体の集合の濃度を「連続体濃度」と呼ぶ。カントールは、この連続体濃度が自然数の濃度よりも真に大きい（非可算である）ことを「対角線論法」を用いて証明した。デジタルの離散的な世界（自然数）とアナログの連続的な世界（実数）の数学的な違いを表す。
15. 順序数 (Ordinal Number) 「Order（順序）」に由来する。集合の要素の「個数（基数）」ではなく、「順番」や「並び方」を抽象化した数。有限の世界では「3個」と「3番目」は実質同じだが、無限の世界では並び方によって構造が変わるため区別される。例えば、自然数を全て並べた後にさらにもう一つ要素を置いた状態を表す など、無限の先にある順序を記述するために使われる。
4. 公理とパラドックス
16. 公理 (Axiom) ギリシャ語の「axioma（価値あるもの、是認されたもの）」に由来し、証明なしに真として受け入れられる基本的な前提を指す。ユークリッド幾何学などでも使われるが、集合論においては「集合とは何か」を規定するルールブックである。直感的な集合論がパラドックスを生んだ反省から、厳密な公理的集合論（ZFCなど）が整備された。数学の体系全体を支える最も深い基礎である。
17. ZFC (Zermelo-Fraenkel with Choice) 現代数学の標準的な基礎となっている公理系。エルンスト・ツェルメロとアブラハム・フレンケルの名前に、選択公理（Choice）を加えたもの。ラッセルやカントールが発見した矛盾を回避しつつ、現代数学のほぼ全てを記述できるように設計されている。「外延性」「正則性」「無限」などの公理から成り、我々が「数学」と呼ぶゲームの公式ルールブックである。
18. 選択公理 (Axiom of Choice) 「互いに交わらない空でない集合の集まりがあったとき、それぞれの集合から要素を一つずつ選び出して新しい集合を作ることができる」という公理。有限個なら当たり前だが、無限個の集合に対してこれを無条件に認めるかどうかは数学界で大論争となった。「バナッハ＝タルスキーのパラドックス」のような直感に反する定理も導くが、現代数学の豊かさを支えるために不可欠として通常は仮定される。
19. ラッセルのパラドックス (Russell’s Paradox) バートランド・ラッセルが発見した、「自分自身を含まないすべての集合の集合」を考えると矛盾が生じるというパラドックス。素朴に「条件を満たす集まり」を集合と認めると論理が破綻することを示し、数学界に衝撃を与えた。これにより、カントールの素朴集合論から、形式的なルール（公理系）に基づく公理的集合論へとパラダイムシフトが起こった歴史的な転換点である。
20. 全単射 (Bijection) 「Bi（二つの）」と「Injection（投入→単射）」の合成語のニュアンスを持つが、正確には全射（Surjection）かつ単射（Injection）であること。二つの集合の要素間に、漏れも重複もなく完全な一対一のペアが作れる状態を指す。集合論において、二つの集合の「濃度（サイズ）が等しい」とは、その間に全単射が存在することと定義される。無限集合の大きさを比較するための「ものさし」となる概念。