conjunto universal

En matemáticas, principalmente en teoría de conjuntos y lógica de clases, un conjunto universal es un conjunto formado por todos los objetos de estudio en un contexto dado. Por ejemplo, en aritmética los objetos de estudio son los números naturales, por lo que el conjunto universal para este caso puede ser el conjunto de los números naturales . Al conjunto universal también se le denomina conjunto referencial, universo del discurso o clase universal, según el contexto, y se denota habitualmente por o .