Intersection of ideals (source code)

= Intersection of ideals
{title2=$I\cap J$}

The set-theoretic intersection of any family of ideals is again an ideal.