مودول منتهي التوليد

Also known as finite presentability

In algebra, a module that has a finite generating set