In the article The Dual of the Notion of "Finitely Generated", the following proposition appears.
Proposition. A module $M$ is finitely generated if and only if every direct system of proper submodules of $M$ is bounded above by a proper submodule of $M$.
In which algebraic categories does this generally hold? (A model is finitely generated if it is the quotient of a free model over a finite set.)