Sigue de la definición de ideal izquierdo (resp.