Finite presentation of a module ($R^s\to R^r\to M\to 0$)

A module is finitely presented when it admits the displayed exact sequence for finite integers $r,s$. Thus it has finitely many generators and finitely many relations. On a Noetherian ring, every finitely generated module has a finite presentation.