La intersección de una familia de ideales es un ideal.