The hereditary atomicity conjecture for integral domains
Hereditary atomicity conjecture. Every hereditarily atomic domain satisfies the ACCP.