Ring satisfying ACCP

Symbol-free definition
A commutative unital ring is said to satisfy ACCP (or the ascending chain condition on principal ideals) if any ascending chain of principal ideals becomes constant after finitely many steps.

Stronger properties

 * Noetherian ring
 * Unique factorization domain