Variable-value configuration

For a set of t variables, a variable-value configuration is a set of t valid values, one for each of the variables.