Ascending chain condition/Definition

A property of a partially ordered set that every strictly increasing chain is finite.