Se X ⊂ Y e Z - Y = Z, o que se conclui sobre X ∩ Z?

X ∩ Z = ∅

Por definição, Z - Y = {x ∈ Z : x ∉ Y}, se Z - Y = Z então nenhum elemento de Z pertence a Y, logo Z ∩ Y = ∅.
Como X ⊂ Y, todo elemento de X pertence a Y, portanto X não pode ter elementos em comum com Z, isto é X ∩ Z = ∅.

Exemplo:
Se Y = {1,2,3}, X = {1,2} e Z = {4,5}, então Z - Y = Z e consequentemente X ∩ Z = ∅.