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