集合論 (Chi̍p-ha̍p-lūn) (set theory) 是 (sī)咧 (leh)研究 (gián-kiù)集合 (chi̍p-ha̍p)的 (ê)數學 (sò͘-ha̍k)理論 (lí-lūn)，猶 (ah)集合是共 (kā)一寡 (chi̍t-koá)抽象 (thiu-siōng)的物件 (mi̍h-kiāⁿ) (object) 囥 (khǹg)鬥陣 (taù-tīn)的1个 (ê)概念 (khài-liām)。集合論包含 (pau-hâm)小學 (sió-ha̍k)就 (tō)有 (ū)紹界 (siāu-kài)的職寡 (chit-koá)觀念 (koan-liām)，像 (chhiūⁿ)一寡物件成做 (chiâⁿ-chò)1个集合，集合的元素 (goân-sò͘)，集合的成員 (sêng-oân) (membership)。集合論，邏 (lô)chek，甘 (ham)一階 (it-kai)邏chek (First-order logic) 是現代 (hiān-tāi)數學的基層 (ki-chân) (foundations of mathematics)，數學的物件會得 (ē-tit)用 (ēng)無 (bô)定義 (tēng-gī)的 "集合" 甘 "集合成員" 來 (lâi)起造 (khí-chō)。
A是B的 部分集合 (subset)。
