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