集合
数学における集合 (しゅうごう、, , ) とは、大雑把に言えばいくつかの「もの」からなる「集まり」である。集合を構成する個々の「もの」のことを元 (げん、; 要素) という。
集合は、集合論のみならず現代数学全体における最も基本的な概念の一つであり、現代数学のほとんどが集合と写像の言葉で書かれていると言ってよい。
慣例的に、ある種の集合が系 (けい、) や族 (ぞく、) などと呼ばれることもある。実際には、これらの呼び名に本質的な違いはないが細かなニュアンスの違いを含むと考えられている。たとえば、方程式系（「相互に連立する」方程式の集合）、集合族（「一定の規則に基づく」集合の集合）、加法族（「加法的な性質を持つ」集合族）など。
集合は「もの」の「集まり」である。集合の元（要素）として集められる対象となる「もの」は、数、文字、記号などをはじめ、どんなものでも（もちろん集合でも）構わない。
一方で、どんな「集まり」でも集合と呼んでよいわけではない。その「集まり」が集合と呼ばれるためには、対象が「その集まりの元であるかどうかが不確定要素なしに一意に決定できる」ように定義されていなければならない。
たとえば、トランプのスート全体 {♠, ♦, ♣, ♥} やトランプの数字全体
を符牒とする52枚のカードであるが、これもまた集合の一例になっている。とくにこれはスートの集合と数字の集合との直積集合の例であり、また 52 というのはこの集合の濃度を表している。また、先のスートの集合、数字の集合の濃度はそれぞれ 4, 13 である。
集合を表すプレースホルダにはしばしばラテン文字の大文字 "A", "B", ..., "E", "F", ..., "M", "N", ..., "S", "T", ..., "X", "Y", ... などを使い、集合の元は（とくに集合を表すのに使った文字に対応する）ラテン小文字 "a", ..., "e", ..., "m", ..., "s", ..., "x", ... とすることが多い。
集合と元、集合と集合などの間には含んだり含まれたりといった素朴な関係を考えることができる。
帰属関係と包含関係は異なる概念であって、混同してはならない。例えば、"X" ⊂ "Y" ⊂ "Z" ならば必ず "X" ⊂ "Z" であるが、"X" ∈ "Y" ∈ "Z" からは "X" ∈ "Z" は必ずしも導かれない。また、"x" ∈ "A" ⊂ "B" ならば "x" ∈ "B" であるが、"x" ⊂ "A" ∈ "B" からは "x" ∈ "B" を帰結することは一般にはできない。
集合の記法には、おおまかに2通りの方法がある。論理的な概念として「外延と内包」というものがあるが、ほぼそれに相当するもので、その要素をすべて列挙するという方法と、その集合に含まれるのであれば必ず満たされ、含まれないのであれば必ず満たされない条件を明示するという方法である。
「外延」に相当する、すべて列挙する方法では、例えば、1, 3, 5, 7, 9 からなる集合は、 
と表記する。
「内包」に相当する、属するために満たすべき条件を明示する方法では、例えば、10 未満の正の奇数全体の集合を、 
と表記する。一般に、条件 "P"("x") があったとき、それをみたす対象だけを全て集めた集合を、
と表記する。ここでは "x" という変数を用いているが、{ "y" | "P"("y") } と書いても { "a" | "P"("a") } と書いても構わない。set-builder notation（）やset comprehension、日本語では内包表記などとも言う。前述のようにそれぞれ、論理的な概念の外延と内包に由来するものであり日本語圏では数学分野でも今もそれらの語がよく使われているが、英語圏ではそれぞれの原語であるextensionとintensionはこの分野では今はあまり見なくなっている。
条件 "P"("x") は「"x" が "X" の元であって、さらに条件 "Q"("x") を満たす」というような形で与えられることが多いが、このとき定まる集合を {"x" | "x" ∈ "X" かつ "Q"("x")} のように書く代わりに、しばしば簡単に
などと略記する。集合 {"x" ∈ "X" | "Q"("x")} は "X" の部分集合となる。また、条件 "P"("x") が「条件 "Q"("y") を満たすようなある "y" を用いて "x" = "f"("y") と表すことができる」というような形のときは、集合 { "x" | "P"("x") } を
のように表すこともある。
要素を外延的に書きつくせないような集合、例えば自然数全体の集合を
のように書き表すこともあるが、"..." による省略部分は誤解を生じる余地があるため、このような記法はその省略された内容の意味が明らかである場合に限られる。
"A", "B"を任意の集合とするとき、もし任意の集合"X"について「"X"がAの要素であるならば、そのときに限りXはBの要素である」が成り立つならば、AとBは等しい、とする。すなわち、
である。
直感的な説明としては、たとえば、{1, 3, 5, 7, 9} と { "x" | "x" は 10 未満の正の奇数 } は異なる表現だが、どちらも自然数 1, 3, 5, 7, 9 を要素とする集合であるので、等しい集合だとする、ということである。
数学では、1 つも要素を持たないような集合も考える。外延性の原理によれば、このような集合はただ一つしか存在しないので、これを空集合 () といい ∅ で表す。∅ は任意の集合 "A" の部分集合である。なぜなら、任意の対象 "x" に対して "x" ∉ ∅ より "x" ∈ ∅ ⇒ "x" ∈ "A" は真だからである。空集合の他にも決まった記号によって表される集合がいくつかある：
有限個の元からなる集合を有限集合 (ゆうげんしゅうごう、) と呼び、集合 "A" の元の個数を #("A"), |"A"|, card("A") などの記号で表すことが多い。有限集合でない集合を無限集合 (むげんしゅうごう、) という。無限集合に対しても「個数」の概念を広げて、濃度 (のうど、) 、または基数 (きすう、, ) というものを考える。個数を数える代わりに、ある集合を使って、その元で別の集合をラベル付け (; 添字付け) して、一対一の対応がとれるかどうかを調べるのである。そうすると有限集合の濃度はちょうど元の個数で決まるので、ちゃんと無限集合への「個数」の拡張となる概念が定まっていることが確認できる。
無限集合はどれも「無限個」の元を持っているわけだが、どの無限もみな同じというわけではなく、濃度の概念ではたくさんの無限を区別して扱うことになる。たとえば、自然数と有理数が同じ濃度を持つ、自然数と実数は真に異なる濃度を持つといったような事実は数学を学ぶ者にとってよく知られた内容である。同様の事実に、平面 R と数直線 R は同じ濃度を持ち、平面を覆いつくす平面充填曲線と呼ばれる不思議な平面曲線が何種類も存在することが述べられる。より次元の高い空間でも同様で、空間を埋め尽くす空間充填曲線が構築される。異なる次元をもつ空間が同じ濃度をもつというのは、次元や濃度が一方が他方を測るようなものではない異なる尺度であることを表しているのである。
いくつかの集合を扱い、その関係性について論じるとき、もともと考えていた集合たちから新しい集合を作って調べるというのは有効な手段の一つである。これらの操作は、集合に対する演算と見なすことによって、集合族に関するいくつかの代数系を提供する。それらの代数系を抽象代数系と見なせば、抽象代数学の一般論を適用することでまたいくつかの概念を提供することになる。指示関数はこれらの集合演算を 0 と 1 からなる世界の代数的な演算に置き換える手段を与える。
上記演算は、全体集合が一つ与えられ、演算の引数となる集合たちがその部分集合であるならば、その演算結果もふたたび同じ全体集合の部分集合となるようなものである。一方、もとの全体集合の中に演算結果を求めるのではなく、むしろ引数となる集合たちをもとに新しい集合を作り出すことを目的とする演算もある。
集合からなる族 を考える。 が集合演算についていくつかの性質を満たすとき、それらには特別の名前が与えられることがある。