A function that returns the smallest positive integer that satisfies a particular congruence relation.