集合論是數(shù)學(xué)的一個基本的分支學(xué)科，研究對象是一般集合。集合論在數(shù)學(xué)中占有一個獨特的地位，它的基本概念已滲透到數(shù)學(xué)的所有領(lǐng)域。集合論或集論是研究集合（由一堆抽象物件構(gòu)成的整體）的數(shù)學(xué)理論，包含了集合、元素和成員關(guān)系等最基本的數(shù)學(xué)概念。在大多數(shù)現(xiàn)代數(shù)學(xué)的公式化中，集合論提供了要如何描述數(shù)學(xué)物件的語言。集合論和邏輯與一階邏輯共同構(gòu)成了數(shù)學(xué)的公理化基礎(chǔ)，以未定義的“集合”與“集合成員”等術(shù)語來形式化地建構(gòu)數(shù)學(xué)物件。
在樸素集合論中，集合被當做一堆物件構(gòu)成的整體之類的自證概念。
在公理化集合論中，集合和集合成員并不直接被定義，而是先規(guī)范可以描述其性質(zhì)的一些公理。在此一想法之下，集合和集合成員是有如在歐式幾何中的點和線，而不被直接定義。
圖論〔Graph Theory〕是數(shù)學(xué)的一個分支。它以圖為研究對象。圖論中的圖是由若干給定的點及連接兩點的線所構(gòu)成的圖形，這種圖形通常用來描述某些事物之間的某種特定關(guān)系，用點代表事物，用連接兩點的線表示相應(yīng)兩個事物間具有這種關(guān)系。
