Dos ideales "I" y "J" en un anillo conmutativo "A" son coprimos si "I" + "J" = "A".