Let be a graph parameter and let and be integers such that . Suppose and for any two -subsets such that it follows that . Characterize .
We solve this problem for two parameters, the domination number and the number of edges modulo (for any ). These solutions extend and are based on an earlier work that dated back to a 1960 theorem of Kelly and Merriell.