Se conocían anillos no unitarios que carecían de divisores de cero (como el anillo formula_2), pero no se les daba el nombre de dominios de integridad.