ナレッジ-集合

要素をよせあつめたもの¹⁾²⁾。数学では要素を元とよび、空間とほぼ同じ意味で、集合演算、近傍、開集合、有界、コンパクト、収束などの概念が導入されます。有限集合とか無限集合とかがあります。

Ａ＝Ｂ

は集合Ａと集合Ｂが等しいことを表現する数式です。

ｐ∈Ａ

はｐが集合Ａの要素（元）であることを表現する数式です。

Ａ⊂Ｂ

は集合Ａが集合Ｂに含まれることを表現する数式で、このとき集合Ａを集合Ｂの部分集合といいます。

ある集合の元に対して別の集合の元を対応させる規則が定義されているとき、それを写像といいます³⁾。指数関数⁴⁾のように数から数への写像を関数といいます。

集合の要素をすべて列挙せずに性質だけによって記述できるという事実を形式的に抽象の原理といいます。

集合は数学はもちろん、データベースを構築する上での大切な基礎です。

(1) 数学A
仁科辰夫, シラバス, (2006).
(2) 集合論
Seymour Lipschutz、成嶋弘, 離散数学　コンピュータサイエンスの基礎数学, オーム社, (1995).
(3) 情報数学入門
田中敦, シラバス, (2006).
(4) 指数関数, 図形.