An S-act A over a semigroup S is called strongly noetherian if it satisfies the ascending chain
condition on its congruences. This is equivalent to being finitely generated of each …