Este documento describe los tipos básicos de conjuntos, incluyendo conjuntos vacíos, unitarios y universos, así como dos métodos para definir un conjunto: por extensión mediante la lista de sus elementos o por comprensión utilizando una propiedad común que cumplen sus elementos.