Subspace filtration (source code)

= Subspace filtration
{title2=$F_iN=N\cap F_iM$}

A <submodule> of a filtered <module> inherits the displayed filtration by intersection. It is also called the induced filtration.