En las aplicaciones particulares de la teoría de conjuntos podemos trabajar con una familia de conjuntos de la cual un conjunto sea superconjunto de todos los demás; dicho conjunto se llama conjunto universal o universo del discurso y se denota por formula_68.