Definition: Any two nonzero submodules have a nonzero intersection.
(No citations retrieved.)
(No metaproperty information retrieved.)