If an established proof excludes some members of a general term, what category results?

Specified generality; the remaining scope is presumptive in the book’s treatment
Unspecified generality with no exclusion
A homonym with two dictionary meanings
An unrestricted reference to one member