set-theoretic intersection