Definition of "function rule"