set-theoretic differences