Definition, synonyms and related words
Involving a finite number of variables but an infinite number of constraints, or vice versa.