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