Tudo comum composto, cujos elementos compostos são formados por elementos de conjuntos simples universal e simples de n conjuntos alegado, n composto comum deveria.