Todo conjunto compuesto, cuyos elementos compuestos están formados por elementos simples de conjuntos universales, es conjunto universal compuesto.