区別可能なものの集まりを集合(set) と呼びます。 集合のもつ要素が有限の場合は有限集合(finite set) と呼び、有限でない場合は無限集合(infinite set) と呼びます。集合論は、代数などの基礎的な定義も与えており、重要な概念です。（有限集合と無限集合の形式的定義はこちらを参照→濃度）

　本ページは論理記号 ¬,∨,∧ を用います。(参照→記号論理)

　以下に集合上の演算を示します。

　以下は概念図です。

　人間が使う名詞はたいていの場合、集合を表します。 例えば、「猫」という名詞はニャーニャー鳴く動物を連想させます。 「猫」はかなり具体的な「物」を示す言葉に感じられてしまうのですが、良く考えるとこれはかなり抽象的な言葉で、三毛猫もシャム猫もペルシャ猫も「猫」で示されます。「猫」というのは「猫以外」の動物と区別された「概念」に過ぎません。

　具体的に物を指し示す思われる名詞も大部分は、「概念」だけを差しています。

　集合は、日本語の”は”と感覚的につながりが深いようです。英語では"is"ですね。日本語で A は B であるというと、いろいろな意味を持ちますが、数学用語では3種類に分類すべきです。

　(1) AはBと等しい。

　(2) Aは集合Bに含まれる。

　(3) Aは集合Bの部分集合である。

　例えば太郎は日本人であるといえば(2)にあたりますし、日本人は人間であるといえば(3)に相当します。計算機上でいつでも集合が利用できるように実装すると便利です。（参照→集合の実装）

　要素 a,b,c が集まった集合を表現する場合は、 {a,b,c} と表記します。内容がある程度自明な場合は、 {1,2,3, ... , n　} と書いて間を ”...” で略記してもいいことになっています。この場合、左から 3 つ目までは書くのが慣習のようです。

　また、述語 P を補って、 { x | P( x ) } と表す場合もあります。 例えば、{x|x は日本人} と書いたらこの集合は日本人の集合をあらわします。

　(1)　{n | n は偶数} 　この集合は偶数の集合です。

　(2)　{2n | n は整数} 　この集合も偶数の集合です。((1)と等しい。)

　内容が空の集合は空集合と呼び、空集合を φで表します。

　集合がもつ要素を、集合の元と呼びます。a は集合{a,b,c}の元です。要素 a が集合 A の元であるとき、a∈A と表記します。

　集合は元の順番を問いません。従って、{a,b} と {b,a} は同じ集合を表現します。

　集合は、元の重複をさせません。つまり、{a} と {a,a} は区別されません。しかし、{a} と a は区別されます。従って、{a} と {{a}} は異なります。φと{φ} も異なります。重複を許容する概念に、多重集合があります。(参照→多重集合)

　(3)　 {a}＝{a,a}　 ,　 {a,b,c}＝{c,b,a}

　(4)　 {a}≠{{a}}　,　φ≠{φ}　,{a,b}≠{a,{b}}

　２要素をもつ集合を対(pair)といいます。集合は要素に順序が無いので　{a,b}={b,a}　となりますが、 どうしても順序を表現したい場合は、順序対(orderd pair) を定義して使います。 順序対は、(a,b)のように表現します。 {a,b} は非順序対(unordered pair) と呼ばれます。また、n だけ要素を並べて拡張した対を n-組(n-tuple) といいます。

　順序対では (a,b)≠(b,a) となり、それぞれ意味が異なります。反対に非順序対では {a,b}={b,a} であり、同じ集合を表現しています。以下では単に対と述べた場合は順序対だけをさすことにします。

　(x1,x2,x3,...,xn) ,・・・(xi∈A)　の様に、同じ集合の元で組を構成した場合、計算機では配列を利用して実装します。

　(a,b,c) ,・・・(a∈A , b∈B, c∈C) の様に、異なる集合の元で組を構成した場合、計算機では構造体を利用して実装します。

　対 (a,b) は形式的には {{a},{a,b}} で定義するようです。組(a1,a2,a3,a4,...,an) は対の概念を繰り返し適用して、 (...(((a1,a2),a3),a4),...,an) と定義します。

　はじめてみた時、定義1 を最初に考えた人はエライなと思いました。集合には順番の概念がないのですが、上記のように定義すると (a,b) と (b,a) を区別できます。初歩の教科書だと、組の定義はさらっと流すだけで書いてないのもあります。定義2は、定義1を連鎖的に使って、より長い組を定義します。定義1や定義2は数学上の定義としてはきれいかもしれませんが、定義をそのまま実装するには不向きです。組や対は、配列や構造体を用いるのが良いと思われます。以下には、集合に対して行うことができる操作を列挙しています。

　集合 A の要素と集合 B の要素 による対の全体からなる集合を A と B　の直積集合(Cartesian product) と呼びます。A と B の直積集合を A×B と表記します。

　例えば、集合 {北,南}×{東,西} は集合 {(北,東),(北,西),(南,東),(南,西)} を表します。また、R(=実数の集合) を用いて R×R として２次元の平面を表すことも出来ます。

　集合 A にも 集合 B にも含まれる要素の集合をAとBの 積集合(product) とか共通部分(intersection) といいます。AとＢの共通部分を、Ａ∩B と表記します。

　例えば、素数の集合 P と偶数の集合 E の共通部分 P∩E は {2} です。空集合φとの共通部分はφです。どんな集合 A を選んでも φ=A∩φ が成り立ちます。

　交換則と結合則が成立します。

　(1)　A∩B=B∩A 　・・・交換則

　(2)　A∩(B∩C)=(A∩B)∩C ・・・結合則

　集合 A または集合 B に含まれる要素の集合をAとBの 和集合(sum) とか合併(union) といいます。AとBの合併を、A∪Bと表記します。

　空集合φと集合 A の合併は集合 A 自身です。どんな集合 A を選んでも A=A∪φ が成り立ちます。A,B が共通部分を持たない場合、AとBの合併を直和(disjoint union) といいます。

　交換則と結合則が成立します。

　(1)　A∪B=B∪A 　・・・交換則

　(2)　A∪(B∪C)=(A∪B)∪C ・・・結合則

　集合 A の要素が必ず 集合 B にも含まれる場合は, AをB の部分集合(subset) と呼び、 A⊂B と表記します。

　野球選手の集合は、スポーツ選手の集合の部分集合です。空集合φはすべての集合の部分集合です。また集合Ａは必ず集合A自身の部分集合です。どんな集合A を選んでも、A⊂A が成立します。

　また、集合 A,B が A⊂B かつ A≠B のとき、AをBの真部分集合(proper subset) といいます。

　集合 A に属するけれど集合 B には属さないものの集合を A と B の差集合(difference set) といい、A-B とか　A＼B と表します。Bの(Aに対する)補集合(complement set)ということもあります。

　ある議論の議題に沿って、ある集合についてしか議論しない場合はその集合全体を　Ω のように表して、普遍集合(universal set) と呼びます。普遍集合 Ω と集合 A(⊂Ω) の差集合 Ω-Ａ を Aの補集合(complement set)といいます。Aの補集合を A^C と表記します。

　要素を持たない集合です。記号では φ と表現します。

　 U の部分集合A,B⊂U が、 A∩B=φ かつ A∪B=U のとき集合 {A,B} を Uの分割(partition) といいます。 このとき、A,B をそれぞれブロック(block) と呼びます。

　３個以上の部分集合への分割も自明に拡張できます。 Uの部分集合、U1,U2,U3,...,Un( ⊂U) の集合 P={U1,U2,U3,...,Un} が (i,j∈{1..n}),i≠j ならば Ui ∩Uj=φ) かつ (U1∪U2∪...∪Un=U) を満たすときP は U の分割になります。

　U の部分集合全体の集合を U の冪集合(power set) といいます。 2^U と表記します。