n. the condition on a module that every non-empty set of submodules has a maximal member. See also Noetherian module, ascending chain condition. Compare minimum condition.