Computable function

A function where there exists an algorithm that, given any input from the function’s domain, will produce the correct output in a finite number of steps.