
聚點是拓撲空間的基本概念之一。設A為拓撲空間X的子集,a∈X,若a的任意鄰域都含有異於a的A中的點,則稱a是A的聚點。集合A的所有聚點的集合稱為A的導集,聚點和導集等概念是康托爾(Cantor,G.(F.P.))研究歐幾里得空間的子集時首先提出的。
閉包
閉包運算時關系上的一元運算。它把給出的關系R擴充成一新關系R’,使R’具有一定的性質。且所進行的擴充又是最“節約”的。 比方自反閉包。相當於把關系R對角線上的元素全改成1。其它元素不變,這樣得到的R’是自反的。且是修改次數最少的。即是最“節約”的。
一個關系R的閉包,是指加上最小數目的有序偶而形成的具有自反性,對稱性或傳遞性的新的有序偶集,此集就是關系R的閉包。
設R是集合A上的二元關系,R的自反(對稱、傳遞)閉包是滿足下面條件的關系R':
(i)R'是自反的(對稱的、傳遞的);
(ii)R'⊇R。
(iii)對於A上的不論什么自反(對稱、傳遞)關系R",若R"⊇R,則有R"⊇R'。
R的自反、對稱、傳遞閉包分別記為r(R)、s(R) 和t(R)。
