La
teoría de conjuntos es una rama de las
matemáticas que estudia las propiedades y relaciones de los
conjuntos: colecciones abstractas de objetos, consideradas como objetos en sí mismas. Los conjuntos y sus operaciones más elementales son una herramienta básica en la formulación de cualquier teoría matemática.