noetherian object

An object $X$ in a category $C$ is **noetherian** if each ascending chain of subobjects of $X$ is stationary (= only finitely many inclusions in the chain are not isomorphisms in $C$).

Cf. noetherian ring, noetherian topological space, noetherian category.