n. 1.(computer science) a rule stating that the quality of the output is a function of the quality of the input