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