A submodule 
of a module 
that is not the intersection of two submodules of 
in which it is properly contained. In other words, for all
submodules 
and 
of 
,
 |
Using a less common terminology, this is equivalent to requiring that the quotient module 
be meet-irreducible.
