 Subspace filtration

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