superfluous submoduleLet X be a submodule of a module Y.We say that X is a superfluous submodule of Yif whenever A is a submodule of Y such that A+X=Y,then A=Y.