Arithmetical ring

In algebra, a commutative ring "R" is said to be arithmetical (or arithmetic) if any of the following equivalent conditions holds:
The last two conditions both say that the lattice of all ideals of "R" is distributive.
An arithmetical domain is the same thing as a Prüfer domain.