Keduanya benar: \(Y\setminus X\subseteq Z\setminus X\) dan \(Z\setminus(Y\setminus X)=X\cup(Z\setminus Y)\text{.}\) Jika simbol \(\subset\) pada sumber dimaksudkan ketat dan kedua inklusi awal ketat, inklusi pertama juga ketat karena \(Z\setminus Y\) tidak kosong.