Set-theoretic intersection