Un subconjunto I es un ideal (bilateral) cuando es a la vez ideal izquierdo y derecho.