superfluous submodule

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