[[Image:Absolute complement (set teory, Venn diagram).PNG|thumb|300px|[[Diagrama de Venn]] que muestra un conjunto <math>A</math> contenido en otro conjunto <math>U</math> y su diferencia <math>A^\complement</math>]]
La '''teoría de conjuntos''' es una división de las [[matemática]]s que estudia los [[conjunto]]s. El primer estudio formal sobre el tema fue realizado por el matemático alemán [[CosilolGeorg Cantor]], [[AnalculottaGottlob Frege]] y [[COSILOLOLOLJulius Wilhelm Richard Dedekind]] en el [[Siglo XXIXIX]] y más tarde reformulada por [[Zermelo]].
El concepto de conjunto es intuitivo y se podría definir como una "cosimadacolección de objetos"; así, se puede hablar de un conjunto de personas, ciudades, gafas, lapiceros o del conjunto de objetos que hay en un momento dado encima de una mesa o debajo recibiendo fuerte (cosimos). Un conjunto está bien definido si se sabe si un determinado elemento pertenece o no al conjunto. El conjunto de los bolígrafos azules está bien definido, porque a la vista de un bolígrafo se puede saber si es azul o no. El conjunto de las personas altas no está bien definido, porque a la vista de una persona, no siempre se podrá decir si es alta o no, o puede haber distintas personas, que opinen si esa persona es alta o no lo es. En el siglo XIX, según Frege, los elementos de un conjunto se definían sólo por tal o cual propiedad. Actualmente la teoría de conjuntos está bien definida por el sistema [[Axiomas de Zermelo-Fraenkel|ZFC]]. Sin embargo, sigue siendo célebre la definición que publicó Cantor
{{cita|Se entiende por '''conjunto''' a la agrupación en un todo de objetos bien diferenciados de nuestra intuición o nuestra mente.|[[Georg Cantor]]}}
