Este documento presenta los conceptos básicos de la teoría de conjuntos. Define un conjunto como una colección de objetos bien definidos y diferenciables llamados elementos. Explica formas de definir conjuntos, operaciones entre conjuntos como la unión e intersección, y conceptos como el subconjunto, complemento y cardinalidad. También describe la relación entre la teoría de conjuntos y la lógica proposicional.