유한 생성 가군

Also known as finite presentability

In algebra, a module that has a finite generating set