集合とは物の集まりである[br]物が集まれば集合になる[br]例えば『果物』は集合である[br][br]元、要素とは集合を構成するものである[br]「りんご」、「みかん」は要素である。[br]『果物』の中には「りんご」や「みかん」が含まれている。[br]また『果物』には『柑橘類』という”集合”も含んでいる。[br]集合に集合が含まれることはあるが、要素に集合が含まれることはない。[br][br]抽象的な話をする[br]自然数の9は自然数全体の集合[math]\mathbb{N}[/math]に含まれている。[br]自然数全体の集合[math]\mathbb{N}[/math]は整数全体の集合[math]\mathbb{Z}[/math]に含まれている。[br][br]このように要素や集合には相互に”含まれる”、”含まれている”の関係を持つ。

集合や要素を考えるときにその集合や要素が含まれているおおもとの集合考えることが多い、そのおおもとの集合をUとする。あまり使わないのでUは集合であるとだけ覚えておけばよい。[br][br]集合Aが集合Bに含まれるとき[math]A\supset B[/math]と表し「BはAの部分集合」という。例えば　果物[math]\supset[/math]柑橘類　である。[br]この記号は[u]集合と集合の関係を表すとき[/u]に使われる演算子である。[br]また[math]A\supset A[/math]である。果物は果物を含んでいる。[br]（真部分集合についての説明は割愛）[br][br]集合Aが要素aに含まれるとき[math]A\ni a[/math]と表し「aはAの要素」という。例えば　果物[math]\ni[/math]みかん　である。[br]この記号は[u]集合と要素の関係を表すとき[/u]に使われる演算子である。[br][br]（空集合は後述）[br]

「整数全体の集合は自然数全体の集合を含む」、「正弦関数を余弦関数で割った関数を正接関数として定義する」[br][br]この２つのような日本語で書かれている文は冗長で数学では嫌われる。かの有名なε-δ論法も「任意の正の数 ε に対し、ある適当な正の数 δ が存在して、 0 < |[i]x[/i] − [i]a[/i]| < δ を満たす全ての実数[i]x[/i]に対し、 |[i]f[/i]([i]x[/i]) − [i]b[/i]| < ε が成り立つ。」は意味は分かるがとにかく長い。そこで今まで数学では様々な数式や記号を定義し簡潔で見やすい数学を創ってきた。先ほど「含む」に関しては記号を定義したようにここでは他の記号も定義していく。[br][br]まず「任意の実数aに対して２乗は０以上である」は[math]\forall a\in\mathbb{R},a^2\ge0[/math]のように表せる。[math]\forall[/math]は全称記号といい「すべての～」、「任意の～」を表す。[math]\mathbb{R}[/math]は実数全体の集合である。例えば円周率πやネイピア数e、log2など数直線上の値すべてを集めた集合である。[br]「全ての整数aに対して、a+e=aを満たすような整数eが唯一存在する（和に関する単位元の存在）」は[math]\mathbb{Z}[/math]のように表せる。（合ってるかな？）[math]\exists[/math]は存在記号で「存在する」を表す、特に”唯一存在する”とき、[math]\exists_1[/math]と表す。例えば[math]n^2>0[/math]となる自然数nは無数に存在するが、[math]n^2=0[/math]となる自然数nは１つしか存在しない(n=0)。「s.t.」は「～を満たす」という意味である。[math]\mathbb{Z}[/math]は整数全体の集合である。[br][br]上記では[math]\mathbb{Z},\mathbb{R}[/math]には説明したが他にも[math]\mathbb{N},\mathbb{Q},\mathbb{C}[/math]や[math]\mathbb{P},\mathbb{H}[/math]などがある。[math]\mathbb{N}[/math]は自然数全体の集合、[math]\mathbb{Q}[/math]は有理数(整数p,qについてp/qで表せる数)全体の集合、[math]\mathbb{C}[/math]は複素数全体の集合、[math]\mathbb{P},\mathbb{H}[/math]に関しては場合によって異なるが一般に[math]\mathbb{P}[/math]は素数全体の集合、[math]\mathbb{H}[/math]は４元数(複素数の拡張)全体の集合である。

[math]\varnothing=\left\{\right\}[/math]：なにも含まない集合[br][math]A\cup B[/math]：和集合（例：偶数 [math]\cup[/math] 奇数=自然数）[br][math]A\backslash B[/math]：差集合（例：実数 [math]\backslash[/math] 有理数=無理数）[br][math]A\cap B[/math]：積集合（例：偶数 [math]\cap[/math] 奇数=[math]\varnothing[/math]）[br][math]A^c[/math]：集合Aの補集合[br][math]2^A[/math]：集合Aの冪集合[br][math]\left|A\right|[/math]：集合Aの濃度（詳しくは後述）

Q.和集合、差集合、積集合、はあって商集合はないの？[br][br]A.商集合はありますが今の段階では定義できないので出してません。待っていてください