Cuando un subconjunto I es ideal por la derecha e ideal por la izquierda se dice que es un ideal bilátero, o simplemente ideal.