ascending_chain_condition (372B)
1 # Ascending chain condition (ACC) 2 3 A [partial_order] satisfes the ACC if every [omega_chain] is finite 4 (= stabilizes) 5 6 The [pareto_product] of two [partial_order] that satisfies ACC also satisfies ACC. The same holds for finite powers. 7 8 The ACC ensures that [kleene_sequence] (see [fixpoint]) converges to least fixpoint 9 10 ACC implies [omega_complete] 11 12 Up: [partial_order]