昇鎖条件(ACC)とノイター環の定義