El concepto de conjunto universal se define como la colección de todos los objetos matemáticos en estudio, sin considerar a los propios conjuntos de objetos.