Let $X$ and $Y$ each be a D11: Set such that
| (i) | $X$ is a D17: Finite set |
| (ii) | $X \setminus Y$ is the D70: Set difference of $X$ and $Y$ |
Then $X \setminus Y$ is a D17: Finite set.