Minimal generating set

In algebra, a minimal generating set of a module over a ring R is a generating set of the module such that no proper subset of the set generates the module. If R is a field, then it is the same thing as a basis. Unless the module is finitely-generated, there may exist no minimal generating set.