En matemáticas, es el estudio de los conjuntos (colecciones de objetos) y sus operaciones. Las operaciones con conjuntos (Unión, Intersección, Complementación) encuentran un eco en la lógica de proposiciones (Disyunción, Conjunción, Negación) y por esa razón es conveniente estudiar los dos temas a la vez o bien primero lógica proposicional.
Un primer acercamiento a la teoría de conjuntos es la teoría ingenua o intuitiva de conjuntos. De particular utilidad para el adolescente interesado es el estudio de los conjuntos discretos (finitos) en la combinatoria.