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?