Catenary module

This article defines a property of a module over a commutative unital ring

A commutative unital ring which satisfies this property as a module over itself, is termed a/an: catenary ring

Definition

Fill this in later