也就是說，當某些不同的事物被視為壹個整體時，這個整體被稱為集合。
集合中包含的個體稱為元素。
這裏的確定性是指元素只能包含或不包含在集合中，不存在二義性狀態。
相關性意味著集合中的元素是不同的，
無序是指壹個集合中元素的排列不影響集合的異同。
無序是指元素的排列順序不影響集合，不同排列順序下集合還是這壹個，但如果是有序數組就會受到影響。如果有n個元素，則稱為有序n元組。
相互性是指壹個集合中的元素彼此不同，但在實際情況中，相同的元素會出現，然後引入多個集合，這將在後面討論。
設集合A，集合A中元素的個數記為#A，即A的基數。
根據集合的數量，集合分為有限集合和無限集合。
空集是指沒有元素的集合。現在普遍認為空集是有限集。
有限集的定義是指集合中的元素是有限的，更準確地說，它是非空集，是不能等價於其自身真子集的空集。
有限集個數的比較很簡單，直接比較個數就可以了。
對於壹個無窮集合，可以通過元素的對應方式得到。
例如正整數集和從0到1的開區間中的所有數字，
首先，建立對應關系，
從2到正無窮大，對應1/n，n是從2到正無窮大的整數，顯然1/n在這個開區間內，
根據無理數的定義，無理數不能用分數表示，所以取壹個無理數:根號的壹半來對應1。
則開區間中仍有無法匹配正整數集合中元素的元素，因此開區間（0，1）中的元素多於正整數集合中的元素。
枚舉就是用花括號把元素壹個壹個地列出來，比如A={a，b，c}，
描述方法是使用壹些規則來限制所有元素的對應關系，例如b = {x | 1
Set a = {x | 1
可以表示為a∈A，b？答.