_1是集合formula_2的元素，记作formula_3。集合是现代数学中一个重要的基本概念，而集合论的基本理论是在十九世纪末被创立的。这里对被数学家们称为“直观的”或“朴素的”集合论进行一个简短而基本的介绍 ，另外可参见朴素集合论；关于对集合作公理化的理论，可见公理化集合论。
导言.
定义.简单来说，所谓的一个"集合"，就是将数个对象归类而分成为一个或数个形态各异的大小整体。一般来讲，集合是具有某种特性的事物的整体，或是一些确认对象的汇集。构成集合的