Considere as seguintes informações em um mapeamento de conjuntos: 1. Todo X está contido em Y. 2. Existem elementos de Y que não pertencem a Z. Com base nessas premissas, qual afirmação pode ser logicamente garantida?