https://ja.wikipedia.org/wiki/...
①#昇鎖条件
(ascending chain condition, ACC)
半順序集合で,真の上昇列が有限回で止まる.
②#降鎖条件
(descending chain condition, DCC)
半順序集合で,真の下降列が有限回で止まる.
どちらも
#代数的構造 が満たす有限性に関する性質.

https://ja.wikipedia.org/wiki/...
①#昇鎖条件
(ascending chain condition, ACC)
半順序集合で,真の上昇列が有限回で止まる.
②#降鎖条件
(descending chain condition, DCC)
半順序集合で,真の下降列が有限回で止まる.
どちらも
#代数的構造 が満たす有限性に関する性質.