Relacionamento entre conjuntos m completos e efectivamente não listáveis. Conjuntos produtivos, Relacionamento entre conjuntos produtivos e efectivamente não listáveis.