Uniserial module (source code)

= Uniserial module
{wiki}

A <module> is uniserial when its submodules are totally ordered by inclusion. A finite-length uniserial <module> has a unique composition series.