Un subconjunto no vacío I de A es un ideal derecho, ssi, es cerrado respecto a la resta y a la multiplicación por la derecha por elementos de A.