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.