Un subconjunto formula_1 no vacío de un anillo formula_2 es un ideal por la izquierda de "A" si: